From: Paul Hänsch Date: Wed, 18 Jul 2018 22:33:00 +0000 (+0200) Subject: various style improvements X-Git-Url: http://git.plutz.net/?a=commitdiff_plain;h=002edf53da30cfd378a6ffca3ae2794361670090;hp=002edf53da30cfd378a6ffca3ae2794361670090;p=serve0 various style improvements ---