-
Committer:
Jiri Srba
-
Date:
2020-03-27 12:25:07 UTC
-
mfrom:
(1018.23.1 tapaal)
-
Revision ID:
srba@cs.aau.dk-20200327122507-u1uo2w3g0u4nhnjs
merged in lp:~tapaal-contributor/tapaal/pnml-disable-buttons-1868535 fixing enabled buttons when pnml file open fails