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