diff options
author | rubenwardy <rw@rubenwardy.com> | 2021-01-22 15:08:57 +0000 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-01-22 15:08:57 +0000 |
commit | 67aa75d444d0e5cfff2728dbbcffd6f95b2fe88b (patch) | |
tree | f3a2079a9b17056508e8197a701cf90447e4ea4b /builtin/mainmenu/dlg_delete_world.lua | |
parent | 4fcd000e20a26120349184cb9d40342b7876e6b8 (diff) | |
download | minetest-67aa75d444d0e5cfff2728dbbcffd6f95b2fe88b.tar.gz minetest-67aa75d444d0e5cfff2728dbbcffd6f95b2fe88b.tar.bz2 minetest-67aa75d444d0e5cfff2728dbbcffd6f95b2fe88b.zip |
Use JSON for favorites, move server list code to Lua (#10085)
Co-authored-by: sfan5 <sfan5@live.de>
Diffstat (limited to 'builtin/mainmenu/dlg_delete_world.lua')
0 files changed, 0 insertions, 0 deletions