| commit | 5a49ffca5e229b087bea31f378420ea4c9868dea | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Wed Oct 04 16:36:53 1995 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Wed Oct 04 16:36:53 1995 +0000 |
| tree | deac1ba9e704f0c1541532526701303228261a12 | |
| parent | 685e16d7d64a75a3703f25888d3f192ad5c25f70 [diff] |
Fixed two minor errors.