Peter Eisentraut 7248099c16 doc: Update URL for plr

2017-02-21 12:37:30 -05:00

..

src

doc: Update URL for plr

2017-02-21 12:37:30 -05:00

bug.template

Stamp HEAD as 10devel.

2016-08-15 13:49:49 -04:00

KNOWN_BUGS

…

Makefile

Remove maintainer-check target, fold into normal build

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

MISSING_FEATURES

…

TODO

…