]> granicus.if.org Git - postgresql/commit
projects / postgresql / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 58bd609) | patch
doc: Remove useless marked section
authorPeter Eisentraut <peter_e@gmx.net>
Tue, 12 Sep 2017 14:55:04 +0000 (10:55 -0400)
committerPeter Eisentraut <peter_e@gmx.net>
Tue, 12 Sep 2017 14:55:04 +0000 (10:55 -0400)
commit2eeaa74b5ba20bc75bbaf10837a1ae966094d6cc
tree11b19fccc3805f2fa96a379aeefe2614634c17ebtree | snapshot
parent58bd60995f1c7470c0542f591b303bcc586a5d5fcommit | diff
doc: Remove useless marked section

This was left around when this text was moved from installation.sgml in
c5ba11f8fb1701441b96a755ea410b96bfe36170.
doc/src/sgml/runtime.sgml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.