summaryrefslogtreecommitdiff
path: root/tools
diff options
context:
space:
mode:
authorPavel Machek <pavel@ucw.cz>2000-05-11 09:36:55 +0000
committerPavel Machek <pavel@ucw.cz>2000-05-11 09:36:55 +0000
commit94d1a6c9dc9ac578cb88428462ab41f113ca4e23 (patch)
treee8ec282c3473d80f1dff209c1afab4a541912832 /tools
parent394920a09c6163d2b98896802526c79c82f52d20 (diff)
Unused variable killed.
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions