1
0
mirror of https://github.com/postgres/postgres.git synced 2025-07-31 22:04:40 +03:00

doc: Fix up spacing around verbatim DocBook elements

This commit is contained in:
Peter Eisentraut
2021-04-17 14:14:26 +02:00
parent f59b58e2a1
commit f7c09706c1
2 changed files with 24 additions and 24 deletions