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