Viewing all changes in revision 1043.
- Committer: Jiri Srba
- Date: 2020-03-27 12:25:54 UTC
- mfrom: (1041.2.1 tapaal)
- Revision ID: srba@cs.aau.dk-20200327122554-e1c2k50e34i8vm99
merged in lp:~tapaal-contributor/tapaal/pnml-disable-buttons-1868535 fixing enabled buttons when pnml file open fails
- files modified:
- src/pipe/gui/CreateGui.java
expand all
collapse all
added
removed
