Viewing all changes in revision 1033.
- Committer: Jiri Srba
- Date: 2019-12-03 14:37:27 UTC
- mfrom: (1018.13.3 tapaal)
- Revision ID: srba.jiri@gmail.com-20191203143727-svnrm82mqqqdrk61
merged in lp:~tapaal-contributor/tapaal/export-import-PNML-1853823 fixing issue when saving/loading PNML files
expand all
collapse all
added
removed
