Peter Eisentraut 253de19b84 doc: Remove redundant duplicate URLs from ulink elements ... Empty ulink elements default to displaying the URL, so there is no need to specify the URL again. This was already done for most occurrences, but some cases didn't follow this convention.		2015-12-31 22:26:57 -05:00
..
src	doc: Remove redundant duplicate URLs from ulink elements	2015-12-31 22:26:57 -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 9.6devel.	2015-06-30 14:01:15 -04:00