Fix minor indent bug

This commit is contained in:
Birger J. Nordølum
2018-02-27 13:57:03 +01:00
parent 1ef776519e
commit 0a9c58655a