commit | 7874b5d88cdf22154ac29927d9e747fecc1f0b2d | [log] [tgz] |
---|---|---|
author | Jack Jansen <jack.jansen@cwi.nl> | Sat Jul 29 15:31:10 1995 +0000 |
committer | Jack Jansen <jack.jansen@cwi.nl> | Sat Jul 29 15:31:10 1995 +0000 |
tree | ce373ecf16dd89d420a5ca24623e69d0f7adff71 | |
parent | 5050199787cd7dea54fa56703eb10683f52c5028 [diff] |
minor fix