commit | 447e01b04e5bc9fd7f01fe36c4c952324b338aa3 | [log] [tgz] |
---|---|---|
author | Jack Jansen <jack.jansen@cwi.nl> | Mon Sep 08 13:24:54 1997 +0000 |
committer | Jack Jansen <jack.jansen@cwi.nl> | Mon Sep 08 13:24:54 1997 +0000 |
tree | 95e8e7e6978428b2379e27e3f52122a7a0ae1d4d | |
parent | 222c34edc6b942c93dcb0af815618e29fb535836 [diff] |
Preference resource now has a version number