| commit | 0a3939fc7117edbca8d7946c3e892937649758b5 | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Fri Mar 09 23:15:27 2001 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Fri Mar 09 23:15:27 2001 +0000 |
| tree | b365cf5f67880b512baa740be56f1b51d7cc9503 | |
| parent | e5c9474f0fbe22b5e2494bfcc5e0e97a25e121c5 [diff] |
Finished implementation of removing incorrect preferences file.