search

ros-infrastructure / jenkins_scripts

Scripts used on the build farm
5 stars 9 forks source link

Revert "fix devel jobs not handling ros/catkin#639 well with the changed... #74

Closed dirk-thomas closed 10 years ago

dirk-thomas commented 10 years ago

Reverts ros-infrastructure/jenkins_scripts#73