| commit | 01cfe36c3ac6ec7e29a456728efff11c8dbb1b66 | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Tue Sep 09 13:54:25 1997 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Tue Sep 09 13:54:25 1997 +0000 |
| tree | 01a3679123846bb760abffb0b6c874cbc7c74cdb | |
| parent | 36b983c2c214d930fd17649268d5541de022a1b0 [diff] |
Added no-site-python and old-exceptions preferences. Implemented balloon help for options dialog.