Android: Re-add button to remove singleplayer world
authorest31 <MTest31@outlook.com>
Sat, 14 May 2016 20:12:38 +0000 (22:12 +0200)
committerest31 <MTest31@outlook.com>
Sat, 14 May 2016 20:25:58 +0000 (22:25 +0200)
commitc65e7a9b3edbd1f42e7478acdb02252e3c2237ec
tree872a01bec501a45e5c2d4d6418a80fc3a6879396
parentb25554c8d7260cdac6551c69900b78e24b0b48eb
Android: Re-add button to remove singleplayer world

Fixes #4120.
builtin/mainmenu/tab_settings.lua