From: Jann Horn Date: Sun, 9 Feb 2014 21:33:54 +0000 (+0100) Subject: clean up a bit X-Git-Url: http://git.thejh.net/?p=tools.git;a=commitdiff_plain;h=f516afe1e2ca95bc6ca3bf13d065ceefd477d6c7;hp=f516afe1e2ca95bc6ca3bf13d065ceefd477d6c7 clean up a bit ---