]> source.dussan.org Git - gitignore.git/commit
Merge pull request #2587 from felixdivo/patch-1
authorBrendan Forster <github@brendanforster.com>
Sat, 3 Feb 2018 11:13:02 +0000 (22:13 +1100)
committerGitHub <noreply@github.com>
Sat, 3 Feb 2018 11:13:02 +0000 (22:13 +1100)
commit6b07d3b3c6076612d6c3177fedb7416b7d5e49a3
treea12933544bef7f817a341241b4a119733f755836
parentee270e65876426e770a35614e1676daac7288d65
parent4162c93865c81164fcab83b5ea0fa0b3fd38453d
Merge pull request #2587 from felixdivo/patch-1

Added ignore for files created by `catkin_make_isolated`