delete space

This commit is contained in:
Reto Kromer 2017-08-25 15:17:38 +02:00 committed by GitHub
parent b598ed1040
commit 9bae51d6a4