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.

diff --git a/ROS.gitignore b/ROS.gitignore
index 425641f2c3a3ee130c06779f3f17d51c4b2f9983..35d74bb771f5ef74aa1259a9e472c379e4d58d86 100644 (file)
--- a/ROS.gitignore
+++ b/ROS.gitignore
@@ -13,6 +13,8 @@ msg/*Feedback.msg
 msg/*Goal.msg
 msg/*Result.msg
 msg/_*.py
+build_isolated/
+devel_isolated/
 
 # Generated by dynamic reconfigure
 *.cfgc