changing to the new server

ros-infrastructure / buildfarm

Build scripts and notes for catkin debian build pipeline.

6 stars 15 forks source link

changing to the new server #141

Closed tfoote closed 10 years ago

tfoote commented 10 years ago

Changing the server url and to the local path to upstream to use file access instead of web. Merging quickly to get in before reconfigure. It's been running all day.