Viewing all changes in revision 1042.
- Committer: Jiri Srba
- Date: 2020-03-27 12:18:55 UTC
- mfrom: (1041.1.2 tapaal)
- Revision ID: srba@cs.aau.dk-20200327121855-d0j3aurjb7nvoehn
merged in lp:~tapaal-contributor/tapaal/open-on-windows-1868525 fixing .xml file open on windows
expand all
collapse all
added
removed
