search

catkin / catkin_tools

Command line tools for working with catkin
Apache License 2.0
163 stars 146 forks source link

Regenerate setup files when the install space was cleaned #682

Closed timonegk closed 3 years ago

timonegk commented 3 years ago

Addresses https://github.com/catkin/catkin_tools/issues/672#issuecomment-878691077.