diff options
author | Pavel Machek <pavel@ucw.cz> | 2000-05-11 09:36:55 +0000 |
---|---|---|
committer | Pavel Machek <pavel@ucw.cz> | 2000-05-11 09:36:55 +0000 |
commit | 94d1a6c9dc9ac578cb88428462ab41f113ca4e23 (patch) | |
tree | e8ec282c3473d80f1dff209c1afab4a541912832 /tools | |
parent | 394920a09c6163d2b98896802526c79c82f52d20 (diff) |
Unused variable killed.
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions