diff options
author | Peter Eisentraut <peter@eisentraut.org> | 2020-03-07 14:04:09 +0100 |
---|---|---|
committer | Peter Eisentraut <peter@eisentraut.org> | 2020-03-07 14:04:09 +0100 |
commit | 7e39b968f118c6444bd3a3bd59c3e9d73e652e0c (patch) | |
tree | e67013abaf7d697c7d8e8aa8a0ae7a78cb7f357e /src | |
parent | 33e27c3785c5ce8a3264d6af2550ec5adcebc517 (diff) | |
download | postgresql-7e39b968f118c6444bd3a3bd59c3e9d73e652e0c.tar.gz postgresql-7e39b968f118c6444bd3a3bd59c3e9d73e652e0c.zip |
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.
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions