Peter Eisentraut 9a218c02b8 doc: Put new options in right order on reference pages		2014-07-15 15:08:16 -04:00
..
src	doc: Put new options in right order on reference pages	2014-07-15 15:08:16 -04:00
KNOWN_BUGS	Remove extra newlines at end and beginning of files, add missing newlines	2010-08-19 05:57:36 +00:00
MISSING_FEATURES	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
TODO	Update URL.	2008-08-21 20:15:31 +00:00
bug.template	Stamp HEAD as 9.5devel.	2014-06-10 21:36:13 -04:00