From: Paul Hänsch Date: Wed, 4 Jul 2018 22:09:26 +0000 (+0200) Subject: yet slightly shorter version + removed debugging X-Git-Url: https://git.plutz.net/?a=commitdiff_plain;h=7f73b08b3ae495cab57cbcaa57236e653a5707c2;hp=7f73b08b3ae495cab57cbcaa57236e653a5707c2;p=cgilite yet slightly shorter version + removed debugging ---