~tapaal-dist-ctl/verifypn/SmolkaLocalExperiments
Viewing all changes in revision 104.
-
Committer:
Peter Fogh
-
Date:
2016-05-09 14:09:34 UTC
-
Revision ID:
peterf1992@gmail.com-20160509140934-ylwx4kju1sb6mktt
fix sh. run test scripts
expand all
collapse all
Show diffs side-by-side
added
removed