mirror of
https://github.com/postgres/postgres.git
synced 2026-04-15 22:10:45 -04:00
be simplified (I'd thought that it can even be removed). This patch does that. Alvaro Herrera |
||
|---|---|---|
| .. | ||
| initdb | ||
| initlocation | ||
| ipcclean | ||
| pg_config | ||
| pg_controldata | ||
| pg_ctl | ||
| pg_dump | ||
| pg_encoding | ||
| pg_id | ||
| pg_resetxlog | ||
| pgtclsh | ||
| psql | ||
| scripts | ||
| Makefile | ||