| commit | 4104b50b5279ef13de59435389ea65d51d9397ae | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Tue Aug 06 22:14:23 2002 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Tue Aug 06 22:14:23 2002 +0000 |
| tree | b29fc59fdfa4b655e58d80f707a9df6ed8b3ad47 | |
| parent | 657d22270019f851b752869b4fc951679d55c12a [diff] |
Changed a sentence that confused some people.