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

bug.template

Stamp HEAD as 9.6devel.

2015-06-30 14:01:15 -04:00

KNOWN_BUGS

…

Makefile

Remove maintainer-check target, fold into normal build

2013-10-10 20:11:56 -04:00

MISSING_FEATURES

…

TODO

…