Matthias Grob c8d7027546 ubuntu.sh: don't upgrade pip outside of system package manager ...

This can lead to inconsistency with the installed package.
E.g. also if the package is remove the upgraded pip stays
but the symbolic links are gone.

2020-06-29 19:21:56 -04:00

..

arch.sh

arch.sh: use binary repository for gazebo

2020-04-08 16:33:49 +02:00

OSX.sh

Github Actions add MacOS build and fix Tools/setup/OSX.sh

2020-06-22 15:23:29 -04:00

requirements.txt

setup: don't require exact matplotlib version

2020-06-29 19:21:56 -04:00

ubuntu.sh

ubuntu.sh: don't upgrade pip outside of system package manager

2020-06-29 19:21:56 -04:00