Viewing all changes in revision 979.
- Committer: Jiri Srba
- Date: 2019-02-12 12:56:30 UTC
- mfrom: (975.2.4 shared-places-transitions-multi-remove-1780087)
- Revision ID: srba@cs.aau.dk-20190212125630-3k433hzfp49rhuu8
merged in branch lp:~tapaal-contributor/tapaal/shared-places-transitions-multi-remove-1780087 allowig to remove multiple shared places/transitions at the same time
expand all
collapse all
added
removed
