pgimeno/minetest-worldedit: The ultimate in-game world editing tool for Minetest! Tons of functionality to help with building, fixing, and more. (Fork)

sfan5 d572d769ce Optimize gui icon texture		7 years ago
..
inventory_plus_worldedit_gui.png	d572d769ce Optimize gui icon texture	7 years ago
worldedit_gui_unknown.png	c0f3bb6958 GUI: Use nicer picture to indicate unknown nodes (-> no search results)	7 years ago