Viewing all changes in revision 997.
- Committer: Jiri Srba
- Date: 2019-03-15 19:19:11 UTC
- mfrom: (993.4.1 tapaal)
- Revision ID: srba@cs.aau.dk-20190315191911-fajcguzg36amc53p
merged in branch lp:~tapaal-contributor/tapaal/unshare-transitions-in-all-components-1820014 fixing deletion of shared transitions across different components
expand all
collapse all
added
removed
