Fix behavior when a different profile is set on the first launch - Githubissues

catkin / catkin_tools

Command line tools for working with catkin

Apache License 2.0

163 stars 146 forks source link

Fix behavior when a different profile is set on the first launch #728

Closed timonegk closed 1 year ago

timonegk commented 2 years ago

Closes #491.

timonegk commented 1 year ago

@wjwwood I just tagged 0.9.3.