Viewing all changes in revision 1046.
- Committer: Jiri Srba
- Date: 2020-04-11 11:51:12 UTC
- mfrom: (1018.24.6 tapaal)
- Revision ID: srba@cs.aau.dk-20200411115112-vmot78clsjd3c7yo
merged in lp:~tapaal-contributor/tapaal/shared-place-transition-rename-1871091 fixing problem with renaming of shared places
expand all
collapse all
added
removed
