mirror of
https://github.com/github/gitignore.git
synced 2026-10-25 12:12:23 +01:00
Merge pull request #2587 from felixdivo/patch-1
Added ignore for files created by `catkin_make_isolated`
This commit is contained in:
1 file changed
+2
@@ -13,6 +13,8 @@ msg/*Feedback.msg
|
||||
msg/*Goal.msg
|
||||
msg/*Result.msg
|
||||
msg/_*.py
|
||||
build_isolated/
|
||||
devel_isolated/
|
||||
|
||||
# Generated by dynamic reconfigure
|
||||
*.cfgc
|
||||
|
||||
Reference in new issue
Block a user