Viewing all changes in revision 1078.
- Committer: Jiri Srba
- Date: 2020-08-10 09:19:19 UTC
- mfrom: (1067.5.80 eventMore-gui-cleanup)
- Revision ID: srba@cs.aau.dk-20200810091919-zskl1igm7v2k62es
merged in lp:~yrke/tapaal/evenMore-gui-cleanup doing GUI cleanup and fixing memory access check, about menu in Mac, exception in verification and reenabled quick draw
- files added:
- src/net/tapaal/swinghelpers/GridBagHelper.java
- files removed:
- libs/AppleJavaExtensions.jar
- src/resources/xslt
- files modified:
- build.gradle
expand all
collapse all
added
removed
