Viewing all changes in revision 951.3.17.
- Committer: Jiri Srba
- Date: 2018-05-11 16:28:01 UTC
- mto: This revision was merged to the branch mainline in revision 961.
- Revision ID: srba@cs.aau.dk-20180511162801-y1pkjccox018oea7
updated run file with extra heap space
- files modified:
- run-tapaal-j7.sh
expand all
collapse all
added
removed
