aboutsummaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
authorPeter Eisentraut <peter@eisentraut.org>2020-03-07 14:04:09 +0100
committerPeter Eisentraut <peter@eisentraut.org>2020-03-07 14:04:09 +0100
commit7e39b968f118c6444bd3a3bd59c3e9d73e652e0c (patch)
treee67013abaf7d697c7d8e8aa8a0ae7a78cb7f357e /src
parent33e27c3785c5ce8a3264d6af2550ec5adcebc517 (diff)
downloadpostgresql-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