| commit | ab69eb967304400af6d18e330803309704c27c00 | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Thu Apr 04 15:39:42 1996 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Thu Apr 04 15:39:42 1996 +0000 |
| tree | 496d0f899474ca32661ae4a80e296a1b390232e7 | |
| parent | a486a55f59a0b45d8a0bc3ae38beae3a6e3b7bb5 [diff] |
Added resource-ids for override preferences.