1
0
mirror of https://github.com/postgres/postgres.git synced 2025-07-28 23:42:10 +03:00

doc: Fix up spacing around verbatim DocBook elements

This commit is contained in:
Peter Eisentraut
2024-04-24 12:26:19 +02:00
parent 83751691e9
commit b53d58097d
2 changed files with 18 additions and 18 deletions