Switch between catkin and ament based on ROS_VERSION#52
Merged
awinkler merged 1 commit intoethz-adrl:masterfrom May 30, 2020
Merged
Switch between catkin and ament based on ROS_VERSION#52awinkler merged 1 commit intoethz-adrl:masterfrom
awinkler merged 1 commit intoethz-adrl:masterfrom
