diff options
| author | David Aspinall | 1998-11-10 15:23:27 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-11-10 15:23:27 +0000 |
| commit | 994ff6df6de423a1eab8ef724b8a0fd9df3b07a3 (patch) | |
| tree | e78324085f29a093f3068de450b7a539721fd9cf /doc | |
| parent | 52f43207a4e7e1ad919fc1184b1c590399f4adfb (diff) | |
Fixed bug for when proof-rsh-command is empty
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions