diff options
| author | Felix Divo <felixdivo@users.noreply.github.com> | 2018-01-26 11:32:59 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-01-26 11:32:59 +0100 |
| commit | 4162c93865c81164fcab83b5ea0fa0b3fd38453d (patch) | |
| tree | ee6d401a34fb08eac45d0d26f7de67d35e84499f /ROS.gitignore | |
| parent | 22a5eb3da72c0a224a179033e92722bdbf5a05ad (diff) | |
| download | gitignore-4162c93865c81164fcab83b5ea0fa0b3fd38453d.tar.gz gitignore-4162c93865c81164fcab83b5ea0fa0b3fd38453d.zip | |
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.
Diffstat (limited to 'ROS.gitignore')
| -rw-r--r-- | ROS.gitignore | 2 |
1 files changed, 2 insertions, 0 deletions
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 |