diff options
| author | David Aspinall | 2008-01-25 15:48:48 +0000 |
|---|---|---|
| committer | David Aspinall | 2008-01-25 15:48:48 +0000 |
| commit | 7ace0a9c753c8d83117832ba9b4212a561d2ce26 (patch) | |
| tree | 025b96cef83bc6a801a8487f18cc172ee86b9f37 /pgshell | |
| parent | 9b5441aa6e3b1690afd98e84e55f2faaab4f1f0d (diff) | |
split string on proof-rsh-command
Diffstat (limited to 'pgshell')
0 files changed, 0 insertions, 0 deletions