catkin: remove reference to catkin_init_workspace - Githubissues

jrl-umi3218 / jrl-travis

Travis build scripts

Other

7 stars 10 forks source link

catkin: remove reference to catkin_init_workspace #38

Closed jcarpent closed 5 years ago

jcarpent commented 5 years ago

This function call is no more required. See https://answers.ros.org/question/187084/what-does-the-command-catkin_init_workspace-do/ for further explanations.