1 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Felix DivoandGitHub	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