remove now-unused variable
authorRalf Jung <post@ralfj.de>
Sun, 27 Oct 2013 18:00:46 +0000 (19:00 +0100)
committerRalf Jung <post@ralfj.de>
Sun, 27 Oct 2013 18:00:46 +0000 (19:00 +0100)

No differences found