diff --git a/.gitignore b/.gitignore index eaf34e7..b7d6fc4 100644 --- a/.gitignore +++ b/.gitignore @@ -5,3 +5,4 @@ lib docs installed wiped +CATKIN_IGNORE