| commit | 6abe676538d2e6a6fc9c6650047886180b3c2a18 | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Tue Jan 23 22:35:22 2001 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Tue Jan 23 22:35:22 2001 +0000 |
| tree | 898da4a848091672dc72d5356326afc91131dcfe | |
| parent | 50f6f6f621268c4fd0cb86c1e3df0b8c190fde9e [diff] |
Various settings were unconditionally set. Allow them to be overridden in the settings dict.