mirror of
https://github.com/postgres/postgres.git
synced 2025-06-03 00:02:26 -04:00
Small cleanup of spacing in verbatim DocBook elements
This commit is contained in:
parent
6755558b92
commit
4b08bf8ce7