| commit | 2d3f94ebc494ec7a9200f459b253e7f60b9d8f8c | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Wed Feb 14 15:58:30 1996 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Wed Feb 14 15:58:30 1996 +0000 |
| tree | 3421c0a1524837c365d737db7ad8fd158484ddfb | |
| parent | 508537b9c9fc38adf0d46e8d5d691e1ef7613b02 [diff] |
Comment fix