Viewing all changes in revision 1057.
- Committer: Jiri Srba
- Date: 2020-06-01 19:35:32 UTC
- mfrom: (1053.1.5 display-shared-places-transitions-1879126)
- Revision ID: srba@cs.aau.dk-20200601193532-ir8jwddv4bwhzsiq
merged in lp:~tapaal-contributor/tapaal/display-shared-places-transitions-1879126 allowing to independently display the shared places/transitions
expand all
collapse all
added
removed
