Minor code cleaning

This commit is contained in:
sasensi 2018-10-18 11:18:02 +02:00 committed by Jürg Lehni
parent e9135589b1
commit 8ce5cc97cc