search

crigroup / openrave-installation

Bash scripts to install OpenRAVE from source
167 stars 77 forks source link

Let SF server choose the best mirror itself #13

Closed sirop closed 4 years ago

sirop commented 4 years ago

as the previous, hard-coded mirror is not always the best or on-line.