commit | dd888a6cff1aaac4663bdbfc777d0472a22985d7 | [log] [tgz] |
---|---|---|
author | Jack Jansen <jack.jansen@cwi.nl> | Thu Dec 05 23:20:12 2002 +0000 |
committer | Jack Jansen <jack.jansen@cwi.nl> | Thu Dec 05 23:20:12 2002 +0000 |
tree | 3c94eda384893ddd0fd4111559cd14754c69e13c | |
parent | a69c030c15a49418b9735cf971a31a511459281b [diff] |
Fixed typo.