fixed the formatting in the mnt file

This commit is contained in:
cfluegel 2018-07-21 16:19:06 +02:00
parent c30b1035cd
commit f2b4cbe845