-
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)