search

catkin / catkin_tools

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

For for issue 620; rebased to master #697

Closed jimaldon closed 2 years ago

jimaldon commented 2 years ago

Edited Migration documentation to show catkin_make arguments that enable creation of custom build, devel, install folders

Fix for issue 620

(this PR is master-rebased version of another closed PR)

timonegk commented 2 years ago

Thank you!