3 commits

Author	SHA1	Message	Date
Michael Natterer	a88c0ffb93	Change the license URL from http://www.gnu.org/licenses/ to https://	2018-07-11 23:47:19 +02:00
Michael Natterer	436e53d390	pdb: improve docs about which procedures are affected by context settings ... Also add some double blank lines so they show up as single blank lines in the generated docs, which improves readablility.	2018-04-17 13:19:16 +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/image_select.pdb (Browse further)