4 commits

Author	SHA1	Message	Date
Michael Natterer	bab75b7365	Change a bazillion URLs to https:// ... Including all user-visible link and links called from code, like the help pages.	2018-07-14 14:19:27 +02:00
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	f180a171cd	pdb: remove all deprecated procedures	2018-05-20 21:06:29 +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

Renamed from tools/pdbgen/pdb/text_layer.pdb (Browse further)