| commit | e739a0dbe9747c6751b82c805bdf186e115208ab | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Wed Jun 26 20:39:20 2002 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Wed Jun 26 20:39:20 2002 +0000 |
| tree | 9619c2bb0a1f9e220b4cf8a9a9f78fa5776cc58b | |
| parent | 027f6722c4056f59f7baaabc082fd3ecabd1dd27 [diff] |
Got rid of an extraneous semicolon.