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