| commit | a486a55f59a0b45d8a0bc3ae38beae3a6e3b7bb5 | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Thu Apr 04 15:39:18 1996 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Thu Apr 04 15:39:18 1996 +0000 |
| tree | 7e6836f50933e37553eb6e818c4fcd7414bed7fc | |
| parent | db0baced2309b358d706f5f027a2ecd2e581e609 [diff] |
Added support for override preferences