Peter Eisentraut 7e39b968f1 doc: Remove unused ids ... Some reference pages contained id attributes on refname elements. These were apparently copied around from ancient times, but they don't serve a purpose. FOP issues minor warnings about them. So it's easiest to just remove them.		2020-03-07 14:04:09 +01:00
..
src	doc: Remove unused ids	2020-03-07 14:04:09 +01:00
KNOWN_BUGS
Makefile	Remove maintainer-check target, fold into normal build	2013-10-10 20:11:56 -04:00
MISSING_FEATURES
TODO	Change documentation references to PG website to use https: not http:	2017-05-20 21:50:47 -04:00