Peter Eisentraut 89a967e9b5 doc: Replace characters that the PDF build cannot handle ... A few characters in the acknowledgments list cannot be handled by the PDF build, so replace with a similar ASCII character.		2021-09-20 10:05:46 +02:00
..
src	doc: Replace characters that the PDF build cannot handle	2021-09-20 10:05:46 +02:00
KNOWN_BUGS	Remove extra newlines at end and beginning of files, add missing newlines	2010-08-19 05:57:36 +00:00
Makefile	Remove maintainer-check target, fold into normal build	2013-10-10 20:11:56 -04:00
MISSING_FEATURES	Remove extra newlines at end and beginning of files, add missing newlines	2010-08-19 05:57:36 +00:00
TODO	Change documentation references to PG website to use https: not http:	2017-05-20 21:50:47 -04:00