Skip to content

Commit

Permalink
don't ignore grid_map_demos and grid_map_filters
Browse files Browse the repository at this point in the history
  • Loading branch information
lucasw committed Jan 6, 2024
1 parent 6b1323c commit 22cbcc2
Showing 1 changed file with 0 additions and 2 deletions.
2 changes: 0 additions & 2 deletions ubuntu_2204/ignore.sh
Original file line number Diff line number Diff line change
Expand Up @@ -34,8 +34,6 @@ touch ./other/ros_rtsp/CATKIN_IGNORE
touch ./other/pal_statistics/pal_statistics/CATKIN_IGNORE
touch ./ros/gazebo_ros_demos/CATKIN_IGNORE
touch ./ros/gazebo_ros_pkgs/CATKIN_IGNORE
touch ./ros/grid_map/grid_map_demos/CATKIN_IGNORE
touch ./ros/grid_map/grid_map_filters/CATKIN_IGNORE
touch ./ros/joystick_drivers/ps3joy/CATKIN_IGNORE
touch ./ros/joystick_drivers/wiimote/CATKIN_IGNORE
touch ./ros/web_video_server/CATKIN_IGNORE

0 comments on commit 22cbcc2

Please sign in to comment.