commit | 5b3c9717c47283a121a610d0f6a5222063ae0382 | [log] [tgz] |
---|---|---|
author | Jack Jansen <jack.jansen@cwi.nl> | Mon Sep 08 13:22:49 1997 +0000 |
committer | Jack Jansen <jack.jansen@cwi.nl> | Mon Sep 08 13:22:49 1997 +0000 |
tree | 738e887be4210417fb40fcfaaf94cf2f8262ab0e | |
parent | ac62569fd019403c9e4d2cbc586dfcbb0f6e5ef9 [diff] |
The preference resource now has a version number