From 4162c93865c81164fcab83b5ea0fa0b3fd38453d Mon Sep 17 00:00:00 2001
From: Felix Divo <felixdivo@users.noreply.github.com>
Date: Fri, 26 Jan 2018 11:32:59 +0100
Subject: [PATCH] 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.
---
 ROS.gitignore | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/ROS.gitignore b/ROS.gitignore
index 425641f2..35d74bb7 100644
--- 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
-- 
2.39.5