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