New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

#

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Jump to bottom

catkin-tools needs catkin installed #518

Merged

mathias-luedtke merged 1 commit into ros-industrial:master from mathias-luedtke:fix/install-catkin-for-catkin-tools

May 31, 2020

Member

mathias-luedtke commented May 31, 2020

No description provided.


          catkin-tools needs catkin installed

mathias-luedtke added bug master labels

mathias-luedtke mentioned this pull request

Official ROS docker images do not ship compilers anymore #515

Closed

mathias-luedtke merged commit 581ec7e into ros-industrial:master

mathias-luedtke deleted the fix/install-catkin-for-catkin-tools branch

May 31, 2020 11:36

# for free to join this conversation on GitHub. Already have an account? # to comment

Labels