diff options
| author | Makarius Wenzel | 2005-09-17 11:12:42 +0000 |
|---|---|---|
| committer | Makarius Wenzel | 2005-09-17 11:12:42 +0000 |
| commit | 133e32197a6b68df8a04e32f95a90adc9b653ce3 (patch) | |
| tree | 1b23b1b9fe9c5e66ab8154337eb1df3d91e4c2db /pgshell | |
| parent | 5306636f1baafb513df058260493f7a80fddfc43 (diff) | |
removed (again) -- may use isar/interface -I false instead;
Diffstat (limited to 'pgshell')
0 files changed, 0 insertions, 0 deletions