3 Commits

Include renames

Author	SHA1	Message	Date
Rémi Verschelde	52466d57e9	Make some debug prints verbose-only, remove others	2018-08-24 14:59:01 +02:00
Michael Alexsander Silva Dias	5c6be1aea5	Rename instances of the word "theme" to "mesh_library" in GridMap and MeshLibrary editors	2018-08-22 16:52:38 -03:00
Michael Alexsander Silva Dias	d0f55ab6e4	Fix MeshLibrary editor	2018-08-21 19:06:52 -03:00