mirror of
https://github.com/github/gitignore
synced 2024-11-25 21:24:23 +01:00
ROS_gitignore - ignore catkin_tools directory
This commit is contained in:
parent
e5323759e3
commit
572c338e00
@ -49,3 +49,4 @@ qtcreator-*
|
||||
|
||||
# Catkin custom files
|
||||
CATKIN_IGNORE
|
||||
.catkin_tools
|
||||
|
Loading…
Reference in New Issue
Block a user