Peter Eisentraut ab5b55505e doc: Remove line breaks after <title> ...

This creates unnecessary rendering problem risks, and it's
inconsistent and gets copied around.

2020-06-07 13:12:08 +02:00

..

src

doc: Remove line breaks after <title>

2020-06-07 13:12:08 +02:00

KNOWN_BUGS

…

Makefile

…

MISSING_FEATURES

…

TODO

…