search

catkin / catkin_tools

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

Small fixes #727

Closed timonegk closed 2 years ago

timonegk commented 2 years ago

Just some style fixes, cleanups, and harmonizations.