-
Committer:
Kenneth Yrke Joergensen
-
Date:
2019-12-11 14:44:24 UTC
-
mfrom:
(998.24.8 tapaal)
-
Revision ID:
kenneth@yrke.dk-20191211144424-82n2fx91ya567r52
merged in lp:~tapaal-contributor/tapaal/rollercoaster-example-loading-fail-1850713 fixing loading of nets in the old format