Peter Eisentraut 89a967e9b5 doc: Replace characters that the PDF build cannot handle ...

A few characters in the acknowledgments list cannot be handled by the
PDF build, so replace with a similar ASCII character.

2021-09-20 10:05:46 +02:00

..

src

doc: Replace characters that the PDF build cannot handle

2021-09-20 10:05:46 +02:00

KNOWN_BUGS

…

Makefile

…

MISSING_FEATURES

…

TODO

Change documentation references to PG website to use https: not http:

2017-05-20 21:50:47 -04:00