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