1
0
mirror of https://github.com/postgres/postgres.git synced 2025-07-30 11:03:19 +03:00

doc: Fix up spacing around verbatim DocBook elements

This commit is contained in:
Peter Eisentraut
2025-05-04 12:39:21 +02:00
parent c4c236ab5c
commit a2c6d84acd