Lars Müller 88c7a54e08 Rename `minetest.*` to `core.*` in devtest vor 2 Wochen
..
devtest 88c7a54e08 Rename `minetest.*` to `core.*` in devtest vor 2 Wochen