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