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

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