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		hace 7 años
..
inventory_plus_worldedit_gui.png	d572d769ce Optimize gui icon texture	hace 7 años
worldedit_gui_unknown.png	c0f3bb6958 GUI: Use nicer picture to indicate unknown nodes (-> no search results)	hace 8 años