github/gitignore
1
173.2k
Fork 0
mirror of https://github.com/github/gitignore.git synced 2026-03-31 15:40:47 +00:00
Code Issues Packages Projects Releases Wiki Activity
Files
rmw-universe
gitignore/ROS.gitignore
Felix Divo 4162c93865 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.
2018-01-26 11:32:59 +01:00

52 lines
538 B
Plaintext
Raw Permalink Blame History

Reference in New Issue View Git Blame Copy Permalink