| commit | 1795f29b4b87c34876cae4e3a7653f0f79b1f8e4 | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Tue Dec 17 23:29:27 2002 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Tue Dec 17 23:29:27 2002 +0000 |
| tree | 98e65cded2a9a20aa221e2ed979fef00d9af9d8a | |
| parent | 58fc91f9471f04a2826e62943542252d2b37f106 [diff] |
Fixed silly typo. Added comment (to myself) on what still needs to be done.