Viewing all changes in revision 967.
- Committer: Jiri Srba
- Date: 2018-08-01 12:22:25 UTC
- mfrom: (965.2.1 tapaal)
- Revision ID: srba@cs.aau.dk-20180801122225-v4ss5htn4bd0cjdt
merged in branch lp:~tapaal-contributor/tapaal/Remove-ExportPNXML-button-1718642 removing Export PNXML button from CTL query dialog (this is now possible from Export menu in File)
- files modified:
- src/pipe/gui/widgets/CTLQueryDialog.java
expand all
collapse all
added
removed
