-
Committer:
Johan B. C. Engelen
-
Date:
2014-11-12 21:57:50 UTC
-
mto:
This revision was merged to the branch mainline in
revision
3.
-
Revision ID:
j.b.c.engelen@alumnus.utwente.nl-20141112215750-2ho22a54r83ikuhh
add timeout option to the runtests.py script. The script is not finished and probably does not even run.