search

ros-infrastructure / buildfarm

Build scripts and notes for catkin debian build pipeline.
6 stars 15 forks source link

Fix #153 #156

Closed tfoote closed 10 years ago

tfoote commented 10 years ago

Fix #153

And update sync level.

@dirk-thomas Please review.

dirk-thomas commented 10 years ago

+1