Viewing all changes in revision 947.
- Committer: Jiri Srba
- Date: 2016-12-11 19:46:16 UTC
- Revision ID: srba@cs.aau.dk-20161211194616-kyd3dm30b6gc93dp
merged in branch ~tapaal-contributor/tapaal/save-as-fix-1648076 fixing "save as" on Mac OS X
- files modified:
- src/pipe/gui/widgets/NativeFileBrowser.java
expand all
collapse all
added
removed
