postgresql/doc
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
MISSING_FEATURES
TODO