diff options
| author | Peter Eisentraut | 2000-11-25 19:05:44 +0000 |
|---|---|---|
| committer | Peter Eisentraut | 2000-11-25 19:05:44 +0000 |
| commit | fc6603ff75eb22c3ae9ba9d3ecde552cf06807cd (patch) | |
| tree | 831b3e0aef01762ffb703eb1ed9dd1a93a5763d1 /src/backend/executor | |
| parent | c25b4dbf03a9b9e5bf79f2f7e2bcdcd9dc6263b9 (diff) | |
Advertise --help (rather than '-?') as help option (problems with csh).
Accept --help even if no general long options support exists.
Diffstat (limited to 'src/backend/executor')
0 files changed, 0 insertions, 0 deletions