-
Committer:
Jiri Srba
-
Date:
2019-11-12 12:04:30 UTC
-
mfrom:
(1026.1.1 tapaal)
-
Revision ID:
srba.jiri@gmail.com-20191112120430-gts4gd8akk6lyrv4
merged in lp:~tapaal-contributor/tapaal/rollercoaster-example-loading-fail-1850713 fixing loading of nets in the old format