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