Viewing all changes in revision 958.

Committer: Jiri Srba
Date: 2018-05-11 12:32:55 UTC
mfrom: <a title="Merged From 957.1.1" href="/~tapaal-contributor/tapaal/copy-paste-dev-branch/revision/957.1.1">(957.1.1 tapaal)
Revision ID: srba@cs.aau.dk-20180511123255-dehtoh5vk21a56mf

merged in branch lp:~tapaal-contributor/tapaal/query-export-bug-1767615
fixing an export of XML queries

added added

removed removed