| commit | e4d7b5e6266a989708f7337a29f2203db2f79c89 | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Sun May 07 22:07:26 2000 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Sun May 07 22:07:26 2000 +0000 |
| tree | 04e2327d874f9ebf542f9c42e13757a85010261e | |
| parent | 31e2d7354f2251de51fde14a338b73fe8e96e9b2 [diff] |
Changed for the new preference resource version.