Viewing all changes in revision 958.
- Committer: Jiri Srba
- Date: 2018-05-11 12:29:22 UTC
- Revision ID: srba@cs.aau.dk-20180511122922-9hukhktybvyoj52r
merged branch lp:~tapaal-contributor/tapaal/query-export-bug-1767615 fixing
a bug with export of XML queries
a bug with export of XML queries
- files modified:
- src/pipe/gui/Export.java
expand all
collapse all
added
removed
