Peter Eisentraut 41205719d3 Change Graphviz file extension ...

Change extension for Graphviz files from .dot to .gv.  The latter
appears to be the generally preferred one nowadays.

Discussion: https://www.postgresql.org/message-id/flat/71fe76d2-c7d7-2acc-6762-bbf9e61c566e%402ndquadrant.com

2019-05-26 08:08:05 +02:00

..

src

Change Graphviz file extension

2019-05-26 08:08:05 +02:00

KNOWN_BUGS

…

Makefile

Remove maintainer-check target, fold into normal build

2013-10-10 20:11:56 -04:00

MISSING_FEATURES

…

TODO

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

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