Fixed editor line indentation

This commit is contained in:
Maarten Weyns
2020-12-15 20:11:34 +01:00
parent c28fac7010
commit a6e8f282c5