summaryrefslogtreecommitdiff
path: root/doc/src
diff options
context:
space:
mode:
authorTom Lane2019-03-23 21:40:19 +0000
committerTom Lane2019-03-23 21:40:19 +0000
commit87a44b6cf98f8d325af0f000f10adedcb7a5b95d (patch)
treeee6594c3f52bc8cd4e9500f6a6a5be6d81f7e0f2 /doc/src
parentc4c2958c6b8fbf691a3303fa09f1aa84bb8927d9 (diff)
Remove inadequate check for duplicate "xml" PI.
I failed to think about PIs starting with "xml". We don't really need this check at all, so just take it out. Oversight in commit 8d1dadb25 et al.
Diffstat (limited to 'doc/src')
0 files changed, 0 insertions, 0 deletions