| commit | c6bb281c50a6a94283f4e77ea3b624909d05fd21 | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Tue Sep 09 13:50:40 1997 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Tue Sep 09 13:50:40 1997 +0000 |
| tree | c433f9db689ccccdd1a415ea8156a295fb3145fa | |
| parent | 1c0d851a32c9c271215572ed37cdd38d60125d04 [diff] |
Added old-exceptions and no-site-python options and upped preference version to 4. Added balloon-help item to options dialog.