Viewing all changes in revision 953.
- Committer: Jiri Srba
- Date: 2018-04-16 11:05:54 UTC
- mfrom: (952.1.1 tapaal-trunk)
- Revision ID: srba.jiri@gmail.com-20180416110554-jq2yy628fp2zo28t
merged in branch bzr merge lp:~yrke/tapaal/tapaal-fix-1756865 fixing broken Mac integration with Java 9 (by catching and ignoring the exception)
- files modified:
- src/pipe/gui/CreateGui.java
expand all
collapse all
added
removed
