Viewing all changes in revision 746.2.13.
- Committer: Jiri Srba
- Date: 2013-03-08 12:00:16 UTC
- mto: This revision was merged to the branch mainline in revision 756.
- Revision ID: srba@cs.aau.dk-20130308120016-hve6byma31rhrxyq
changed j7 script (no flags are needed any more)
- files modified:
- run-tapaal-j7.sh
expand all
collapse all
added
removed
