Felix Divo 4162c93865 Added ignore for files created by catkin_make_isolated ...

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

2018-01-26 11:32:59 +01:00

538 B

Raw Permalink Blame History

View Raw