| commit | ab71c3fca0cc827ddac7b0e8148a3e953d1b5728 | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Tue Oct 10 11:57:49 1995 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Tue Oct 10 11:57:49 1995 +0000 |
| tree | 56f6805014f5c1618a790fc68cae7b90ec08155e | |
| parent | a8a277cbdc32c06fe59465fc3f8bc260dc7d82ea [diff] |
Fixed typo.