| commit | d081b13c0d3ec6dd5edb90930236f213272ea689 | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Tue Oct 22 15:24:21 1996 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Tue Oct 22 15:24:21 1996 +0000 |
| tree | 25b2151300ac1963ec74b862e919ecf3e015e970 | |
| parent | 5b1b33c7f498651c66fd2c81c877db190a5add6d [diff] |
Added resource for preference file name