Thomas Waldmann 740312f725 Merge branch '1.0-maint' into merge-1.0-maint 8 tahun lalu
..
install.sh 740312f725 Merge branch '1.0-maint' into merge-1.0-maint 8 tahun lalu
run.sh 07d9132f05 travis: use tox -r so it rebuilds the tox envs 9 tahun lalu
upload_coverage.sh 85311f0116 fix .coverage processing 9 tahun lalu