new runtests.py to fix travis build failures

This commit is contained in:
Paul Müller 2015-11-09 23:08:36 +01:00
parent de8beac981
commit 08c886acb1

File diff suppressed because it is too large Load diff