Viewing all changes in revision 1103.
- Committer: srba.jiri at gmail
- Date: 2020-09-23 11:21:03 UTC
- mfrom: (1102.1.1 tapaal)
- Revision ID: srba.jiri@gmail.com-20200923112103-jyp6e7rw9jsmtvqx
merged in lp:~tapaal-contributor/tapaal/disable-workflow-analysis-1896319 that disables workflow analysis for games
- files modified:
- src/pipe/gui/GuiFrame.java
expand all
collapse all
added
removed
