Merge pull request #2587 from felixdivo/patch-1
Added ignore for files created by catkin_make_isolated
GitHub <noreply@github.com> | Feb 3 2018, 12:13 |
aubort | Jul 2 2018, 16:12 |
Commit | Author | Details | Committed | |||
---|---|---|---|---|---|---|
4162c93865c8 | Felix Divo/GitHub | Added ignore for files created by `catkin_make_isolated` | Jan 26 2018 |