Merge branch 'feature/make-runtest-executable' into 'master' (!605) · Merge requests · dumux-repositories / dumux · GitLab

Timo Koch requested to merge cherry-pick-fe45cd56 into master Nov 16, 2017

[test] make runtest.py executable

See merge request !604 (merged)

(cherry picked from commit fe45cd56)

1eeac329 [test] make runtest.py executable