| commit | 1e7b2aa5d60fab438f0395633804f3ee5c7c9ca4 | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Thu Jan 25 16:11:19 1996 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Thu Jan 25 16:11:19 1996 +0000 |
| tree | ae73adcdefac3f1182bf0c70c9f01523d7b2ac88 | |
| parent | 9fbcc6a6c2ed8916b7c3eb0e5c60f34ff52f85e2 [diff] |
Removed unused var