| commit | ae2df938140fad46c8fc1398ac8cf8bde0f48bfb | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Tue Nov 06 12:10:05 2001 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Tue Nov 06 12:10:05 2001 +0000 |
| tree | 7c3f2b6da9cebc220873f46737f1c997700e4705 | |
| parent | 24aa3cea07eba7f0011e72060ab8f0edd33ce20f [diff] |
Removed unused variable.