commit | 8ccfc93c2f21205ae8c70ea2ece74be8451197d5 | [log] [tgz] |
---|---|---|
author | Jack Jansen <jack.jansen@cwi.nl> | Tue Oct 03 14:39:44 1995 +0000 |
committer | Jack Jansen <jack.jansen@cwi.nl> | Tue Oct 03 14:39:44 1995 +0000 |
tree | 92fabbc05c49d37d52661c2147eacd39d8c7334a | |
parent | 95ffa23597b1263b371581e4f14650356e81fba2 [diff] |
Removed unused variable