Get rid of redundant geoms_ in world.hpp#199
Open
mikel-zhobro wants to merge 1 commit intoerwincoumans:masterfrom
Open
Get rid of redundant geoms_ in world.hpp#199mikel-zhobro wants to merge 1 commit intoerwincoumans:masterfrom
geoms_ in world.hpp#199mikel-zhobro wants to merge 1 commit intoerwincoumans:masterfrom
