| commit | 6ff228c6d2434d2d0e8483ba117b1303ab7b27d2 | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Tue Jan 09 22:24:06 2001 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Tue Jan 09 22:24:06 2001 +0000 |
| tree | 19fd36bbd0c68764d8c3f53bf1d50b7fb005d32d | |
| parent | e7bfc915dab99ee8f3869a99637be42f89c1c70b [diff] |
If we're not using GUSI the "keep open on unseen output" becomes the same as "always keep open".