| commit | baffd68a19512b194f650068173985d733b87ae6 | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Tue Oct 22 15:26:48 1996 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Tue Oct 22 15:26:48 1996 +0000 |
| tree | 568ea8096eee45d449a6f680dbbfa67a15f9f025 | |
| parent | 83c74dfa2ae99df337104d79ab0b37bd51f80ef0 [diff] |
Version upped to 1.4, removed some unused dialogs, added STR resource with preference filename.