Minor UI formatting

This commit is contained in:
Klaus Basan
2017-10-25 16:50:18 +02:00
parent 622101f113
commit 585d82f84b