doc: Remove useless marked section
Peter Eisentraut <peter_e@gmx.net>
doc: Remove useless marked section This was left around when this text was moved from installation.sgml in c5ba11f8fb1701441b96a755ea410b96bfe36170.
Files
| Path | Change | +/− |
|---|---|---|
| doc/src/sgml/runtime.sgml | modified | +1 −2 |