2 Commits

Author	SHA1	Message	Date
Michael Natterer	5f700549e7	Change the license URL from http://www.gnu.org/licenses/ to https://	2018-07-11 23:29:46 +02:00
Michael Natterer	b05cfc6050	pdb: (try 3) move PDB generation and sources to toplevel/pdb ... It never belonged inside "tools". Also rename its "pdb" subdirectory to "groups". This had to happen before 2.10 so cherry-picking between branches doesn't become a nightmare in the future.	2017-12-17 14:16:08 -05:00