From: Holger Schemel Date: Mon, 11 Feb 2019 19:17:28 +0000 (+0100) Subject: minor whitespace change X-Git-Tag: 4.1.2.0~19 X-Git-Url: https://git.artsoft.org/?p=rocksndiamonds.git;a=commitdiff_plain;h=eef017083272b7c0f3ceaa999edb7c33c263f432;hp=eef017083272b7c0f3ceaa999edb7c33c263f432 minor whitespace change ---