mirror of
https://github.com/minetest/minetest.git
synced 2025-02-17 10:23:47 +01:00
* Make world creation menu automatically generate a name. * Name is now initialy empty, and generated if player tries to create a world without a name.