| commit | a0d183363971887a29d176d52c35275eb9a014f0 | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Tue Sep 10 20:07:34 2002 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Tue Sep 10 20:07:34 2002 +0000 |
| tree | 78e1f80110973ffa1ff67e6d62f9673a6fb50824 | |
| parent | 034b47acfe0f507cc4b1d8804272ca92d491d06e [diff] |
Fixed typo spotted by Whomas Touters.