| commit | 0c6d037cc5f53420d519f108eaa4a7cdd76379bf | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Fri May 05 23:11:14 2000 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Fri May 05 23:11:14 2000 +0000 |
| tree | aa01d18dfb50df7de65badc2ce61ab6bf31247ea | |
| parent | 1fdadcd42cd430d6e77c1df1ed1df777ca3ff4a2 [diff] |
Removed string-exception preference, added tabcheck and NavService preference, upped version number.