commit | 525819017efa17640f4569c1abd3f0444d4b2a09 | [log] [tgz] |
---|---|---|
author | Jack Jansen <jack.jansen@cwi.nl> | Fri May 23 15:37:54 1997 +0000 |
committer | Jack Jansen <jack.jansen@cwi.nl> | Fri May 23 15:37:54 1997 +0000 |
tree | fd84d0215b7c99569333d938059ae1a84f392ddd | |
parent | a07dd0fdd155494e29f1fa3ec8696f03dc808033 [diff] |
Changed version string and preferences filename to 1.5a2.