updates for rep 140 - Githubissues

ros-infrastructure / jenkins_scripts

Scripts used on the build farm

5 stars 9 forks source link

Closed dirk-thomas closed 10 years ago

dirk-thomas commented 10 years ago

Depends on ros-infrastructure/catkin_pkg#88 being merged and released.

tfoote commented 10 years ago

wjwwood commented 10 years ago

trainman419 commented 10 years ago