git.postgresql.org Git - postgresql.git/commit

git projects / postgresql.git / commit

summary | shortlog | log | commit | commitdiff | tree
(parent: 58bd609) | patch

doc: Remove useless marked section

author Peter Eisentraut <peter_e@gmx.net>

2017年9月12日 14:55:04 +0000 (10:55 -0400)

committer Peter Eisentraut <peter_e@gmx.net>

2017年9月12日 14:55:04 +0000 (10:55 -0400)

commit 2eeaa74b5ba20bc75bbaf10837a1ae966094d6cc

tree 11b19fccc3805f2fa96a379aeefe2614634c17eb tree

parent 58bd60995f1c7470c0542f591b303bcc586a5d5f commit | 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 | blame | history

This is the main PostgreSQL git repository.