mirror of
https://git.postgresql.org/git/postgresql.git
synced 2024-08-18 22:53:24 +02:00
(Not sure such an index is actually useful, but just because it's useless doesn't mean pg_dump should coredump.) |
||
---|---|---|
.. | ||
backend | ||
bin | ||
corba | ||
data | ||
include | ||
interfaces | ||
makefiles | ||
pl | ||
template | ||
test | ||
tools | ||
tutorial | ||
utils | ||
DEVELOPERS | ||
GNUmakefile.in | ||
Makefile | ||
Makefile.global.in | ||
Makefile.shlib | ||
win32.mak |