Viewing all changes in revision 1044.
- Committer: Jiri Srba
- Date: 2020-04-11 11:52:32 UTC
- mfrom: (1043.1.4 tapaal)
- Revision ID: srba@cs.aau.dk-20200411115232-1qonpkgj2mchoznq
merged in lp:~tapaal-contributor/tapaal/shared-place-transition-rename-1871091 fixing problem with renaming of shared places when a component is copied
expand all
collapse all
added
removed
