diff options
| author | Makarius Wenzel | 2009-11-21 19:36:07 +0000 |
|---|---|---|
| committer | Makarius Wenzel | 2009-11-21 19:36:07 +0000 |
| commit | 37de2996da5255159703148363b31d001a301300 (patch) | |
| tree | 29e210b637af050b97f73253f71afce46481aedb /pgshell | |
| parent | 7e3a6a9ade7bbde17ba15c13764ecbe019d356ca (diff) | |
more robust THIS/SUPER: allow spaces;
modernized usage, eliminated obsolete options -I, -P, -X, -f;
re-interpreted option -x as "unicode symbols";
Diffstat (limited to 'pgshell')
0 files changed, 0 insertions, 0 deletions
