| commit | 54f3bdbfe1bdb194c6fcb8a1bb0798a806597723 | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Thu Mar 08 23:07:57 2001 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Thu Mar 08 23:07:57 2001 +0000 |
| tree | cad3964f8bb2feb6b0f76b4a355ad3d6df6bd56e | |
| parent | 4c52203b513bc74160fbdaeb57b6fe4061126e16 [diff] |
Detect that the preference file may be incorrect, and offer to remove it. This isn't finished yet.