doc: Fix up spacing around verbatim DocBook elements
authorPeter Eisentraut <peter@eisentraut.org>
Sun, 7 Jun 2020 11:34:37 +0000 (13:34 +0200)
committerPeter Eisentraut <peter@eisentraut.org>
Sun, 7 Jun 2020 11:34:37 +0000 (13:34 +0200)
commit9ac0a26210901a5869fd7ea83ab1c59489c1aeef
tree433edeaeaf0d5a2d853bf31b0d53b99cd6aea25e
parent4c6f70cd33ac395dea1acca7dabf4cb8556235e7
doc: Fix up spacing around verbatim DocBook elements
doc/src/sgml/hstore.sgml
doc/src/sgml/release-13.sgml