| commit | 04751047874d614226cd0e7bdab3d99c9118999c | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Mon Jan 24 10:21:07 2000 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Mon Jan 24 10:21:07 2000 +0000 |
| tree | 88b2f96018474a685e1cdd630bd3efb8e6d9ef4a | |
| parent | 6448c3524871c60537534ac028f06bf40b6f0288 [diff] |
Hmm, the project wasn't a 5.3 file, despite the log msg. Now it is.