Viewing all changes in revision 1034.
- Committer: Jiri Srba
- Date: 2020-02-03 10:52:45 UTC
- mfrom: (1032.2.1 tapaal)
- Revision ID: srba.jiri@gmail.com-20200203105245-faxr8hctlqjrf7mk
merged in lp:~tapaal-contributor/tapaal/open-arg-file-1855267 allowing to call tapaal with an argument (.tapn file)
- files modified:
- run-tapaal-j6.sh
expand all
collapse all
added
removed
