commit | 58e7a68dea2a877ef1d2498e68865ef00c46fe44 | [log] [tgz] |
---|---|---|
author | Jack Jansen <jack.jansen@cwi.nl> | Mon Feb 11 16:21:00 2002 +0000 |
committer | Jack Jansen <jack.jansen@cwi.nl> | Mon Feb 11 16:21:00 2002 +0000 |
tree | 5f67f890c615277503fc69b10cef989226fe4ee0 | |
parent | 005dbb219eefb9907a4fb95d06d4e7f97d09e3a1 [diff] |
Removed a spurious }. (How did it get there in the first place??)