Viewing all changes in revision 1032.
- Committer: Jiri Srba
- Date: 2019-12-03 14:38:37 UTC
- mfrom: (1030.2.3 tapaal)
- Revision ID: srba.jiri@gmail.com-20191203143837-os09ro6rjr3e4vzj
merged in lp:~tapaal-contributor/tapaal/export-import-PNML-1853823 fixing saving/loading of PNML files
expand all
collapse all
added
removed
