| commit | 48d071d3027996d50a807139e0bfb8d392695bd8 | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Wed Jan 18 13:56:20 1995 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Wed Jan 18 13:56:20 1995 +0000 |
| tree | 847457717face2d08e257f9bf68e0bdac21bae5f | |
| parent | 67132b3de71751d90cfe69a235d47b6ceb327082 [diff] |
Comment fix