mirror of
https://github.com/minetest/minetest.git
synced 2025-02-17 10:23:47 +01:00
Fix indentation problem since merge resolution
Github merge conflict resolution is not the best with indent
This commit is contained in:
Github merge conflict resolution is not the best with indent