1
0
mirror of https://github.com/postgres/postgres.git synced 2025-09-03 15:22:11 +03:00

another round of user interface cleanups

removed pg_id
fixed a few bugs in the scripts
This commit is contained in:
Peter Eisentraut
2000-01-19 20:08:36 +00:00
parent ea1f6e00e6
commit 65e0051843
19 changed files with 161 additions and 282 deletions

View File

@@ -21,7 +21,7 @@
*
*
* IDENTIFICATION
* $Header: /cvsroot/pgsql/src/bin/pg_dump/pg_dump.c,v 1.136 2000/01/19 02:58:59 petere Exp $
* $Header: /cvsroot/pgsql/src/bin/pg_dump/pg_dump.c,v 1.137 2000/01/19 20:08:30 petere Exp $
*
* Modifications - 6/10/96 - dave@bensoft.com - version 1.13.dhb
*
@@ -167,7 +167,7 @@ help(const char *progname)
);
#endif
puts("If no database name is not supplied, then the PGDATABASE environment\nvariable value is used.\n");
puts("Report bugs to <bugs@postgresql.org>.");
puts("Report bugs to <pgsql-bugs@postgresql.org>.");
}