Peter Eisentraut 07a61e1670 Improve gitignore file ... One file was listed under a wrong comment.		2017-03-10 10:16:04 -05:00
..
src	Improve gitignore file	2017-03-10 10:16:04 -05: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 10devel.	2016-08-15 13:49:49 -04:00