-
Committer:
Jiri Srba
-
Date:
2020-04-16 13:38:39 UTC
-
mfrom:
(1044.1.1 tapaal)
-
Revision ID:
srba@cs.aau.dk-20200416133839-zzd6ovtrvkaq2c1l
merged in lp:~tapaal-contributor/tapaal/fix-positionalInfo-detection-1870899 fixing loading of positional info in PNML files