commit | e77f58a2be1c70af4cf4dfdb2bca041876de5b49 | [log] [tgz] |
---|---|---|
author | Jack Jansen <jack.jansen@cwi.nl> | Tue Dec 24 13:09:28 2002 +0000 |
committer | Jack Jansen <jack.jansen@cwi.nl> | Tue Dec 24 13:09:28 2002 +0000 |
tree | 67bdd3c791c30b3478f074ce470ef8d7ff987c81 | |
parent | e072b876e07ffaba160b8ad7f03a12783afabe07 [diff] |
Fixed typo.