diff options
author | Marco Pesenti Gritti <marco@localhost.localdomain> | 2008-06-12 20:12:33 (GMT) |
---|---|---|
committer | Marco Pesenti Gritti <marco@localhost.localdomain> | 2008-06-12 20:12:33 (GMT) |
commit | 0b2b5655cbb8955cbb53663272d9c285498d6e2b (patch) | |
tree | 34042bea7eeb1cec870a625ede11745d1b9e37dd /.gitignore | |
parent | fed5435ca8e69f6b476f31e6ec3a748fa0b02c15 (diff) |
Remove unused var
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions