tree 5d132f0adf46649c4014b39f05395df530b8a432
parent f7a60d0c4ff25e5f2082a51d7a740dcf1adc53f4
author Thomas Klausner <tk@giga.or.at> 1447162565 +0100
committer Thomas Klausner <tk@giga.or.at> 1447162565 +0100
HG:rename-source hg

Remove unused variable.