Skip to content

WIP: Use only CATKIN_IGNORE to ignore packages, not COLCON_IGNORE/AMENT_IGNORE#688

Open
janstrohbeck wants to merge 2 commits intocatkin:mainfrom janstrohbeck:ignore_only_catkin_ignore

Commits

Commits on Jan 10, 2022