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