wsor4035 c8afa95542

Make worldedit_gui error non-fatal ...

to allow worldedit to be used in worldmods

2021-09-21 20:47:57 +02:00

..

textures

Optimize gui icon texture

2017-09-12 13:30:11 +02:00

functionality.lua

Add param2 button to WorldEdit GUI

2021-07-23 23:34:13 +02:00

init.lua

Make worldedit_gui error non-fatal

2021-09-21 20:47:57 +02:00

mod.conf

Remove deprecated depends.txt, add descriptions to mod.conf

2019-07-17 02:15:04 +02:00