search

crigroup / openrave-installation

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

Revert "Add support for Ubuntu 18.04" #2

Closed fsuarez6 closed 5 years ago

fsuarez6 commented 5 years ago

Reverts crigroup/openrave-installation#1