-
Committer:
Jiri Srba
-
Date:
2018-05-13 20:07:04 UTC
-
mfrom:
(961.1.1 tapaal)
-
Revision ID:
srba@cs.aau.dk-20180513200704-wpi90ks1l4wmji43
merged in branch lp:~tapaal-contributor/tapaal/weight-values-fix-1770637
fixing PNML export and Composer where arc weights were constant names
and should be exported as values instead