groot_sources --make
AlexReimann opened this issue · comments
To be run after --update: runs yujin_make on all the workspaces
0.4.42
yujinrobot / yujin_tools
Tools and utilities for development, typically with ROS build environments.
Tools and utilities for development, typically with ROS build environments.
AlexReimann opened this issue · comments
To be run after --update: runs yujin_make on all the workspaces
0.4.42