| commit | c00df0bbba3c0c409aada5aba82cfede08778d81 | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Tue Jan 16 15:54:58 2001 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Tue Jan 16 15:54:58 2001 +0000 |
| tree | 74af2fe46df2a00aab19f80d8f8d39fd9d2ad7b6 | |
| parent | f50fbf11f6a647db619bd8b399f95d415a1aa428 [diff] |
Trigger keep-console-open on GUSISIOUX_STATE_UNKNOWN. Better than the previous complicated expression.