| commit | 45f5c4ab3edf793cd57cce50e61c31edb2000d39 | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Fri Mar 07 15:37:31 2003 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Fri Mar 07 15:37:31 2003 +0000 |
| tree | 31d97e1498846cff70c9a657193bf200b9a9d966 | |
| parent | 1c8501e5b4e495f88633802f27c6f08ca42e6f01 [diff] |
Removed unused variable