commit | f4875af09c1c2dc2ad76329560ce4345b0fe4cd9 | [log] [tgz] |
---|---|---|
author | Jack Jansen <jack.jansen@cwi.nl> | Mon Mar 18 13:36:33 1996 +0000 |
committer | Jack Jansen <jack.jansen@cwi.nl> | Mon Mar 18 13:36:33 1996 +0000 |
tree | 07966b9b0a6cd1804eb3c6a84305311c9b858fcd | |
parent | 18a99f5597d5df48d3b8319fc84d39d1d736ad9c [diff] |
Minor fix