Viewing all changes in revision 1034.
- Committer: ptaankvist at gmail
- Date: 2019-12-07 12:36:35 UTC
- Revision ID: ptaankvist@gmail.com-20191207123635-hen41x8jy7d1islq
Added -Xss16M command to bash script
- files modified:
- run-tapaal-j7.sh
expand all
collapse all
added
removed
