| commit | 83c74dfa2ae99df337104d79ab0b37bd51f80ef0 | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Tue Oct 22 15:25:42 1996 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Tue Oct 22 15:25:42 1996 +0000 |
| tree | 7896c78efcf9aa025e12697c16a34ee55a5021fc | |
| parent | d081b13c0d3ec6dd5edb90930236f213272ea689 [diff] |
- Get preference filename from a resource - Create the file if it doesn't exist and don't be fussy about it