Remove unnecessary double-spaces.

This commit is contained in:
Jürg Lehni 2016-02-10 16:15:35 +01:00
parent 56d5b3b323
commit 98fc51319f
6 changed files with 7 additions and 7 deletions