Viewing all changes in revision 1039.
- Committer: Kenneth Yrke Joergensen
- Date: 2019-12-11 14:27:17 UTC
- mfrom: (998.21.1 tapaal)
- Revision ID: kenneth@yrke.dk-20191211142717-8o2j1s0md1rqngz2
merged in lp:~tapaal-contributor/tapaal/simple-workspace-issues-1849780 fixing behaviour of simple workspace
- files modified:
- src/pipe/gui/GuiFrame.java
expand all
collapse all
added
removed
