-
Felix Divo authored
Simply execute `catkin_make_isolated` and `build` and `devel` will have different names, but should be ignored as well.
Simply execute `catkin_make_isolated` and `build` and `devel` will have different names, but should be ignored as well.