diff options
author | 2001-12-21 23:06:42 +0000 | |
---|---|---|
committer | 2001-12-21 23:06:42 +0000 | |
commit | f01e8a5a6a189affb6a2aaaae62a15eb2ba17db5 (patch) | |
tree | 9fdb0cd7a3ee816bb8d7a9cd63bb2a51827344be /generic/README | |
parent | 1de82829cce602467cf3e39f8704b4f0a199ae83 (diff) |
do not set proof-shell-quit-cmd (admits persistent sessions);
Diffstat (limited to 'generic/README')
0 files changed, 0 insertions, 0 deletions