diff options
| author | David Aspinall | 1998-12-16 14:57:11 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-12-16 14:57:11 +0000 |
| commit | 17b482bce3c0215115baa54f1cc6b80aea4922f1 (patch) | |
| tree | dae5e4348e66e25e860340060a73b5b6505e3369 /html | |
| parent | 258294f034ddf00d19a6225c090e78329da69f23 (diff) | |
Fixed default for proof-shell-quit-cmd.
Diffstat (limited to 'html')
0 files changed, 0 insertions, 0 deletions