From: Ralf Jung Date: Sun, 27 Oct 2013 18:00:46 +0000 (+0100) Subject: remove now-unused variable X-Git-Url: https://git.ralfj.de/saartuer.git/commitdiff_plain/615e31f78190bfc6d32f198b735eb1198b73df7f?hp=615e31f78190bfc6d32f198b735eb1198b73df7f remove now-unused variable ---