Viewing all changes in revision 1156.
- Committer: Jiri Srba
- Date: 2021-11-05 14:11:49 UTC
- mfrom: (1154.2.2 merge-components-changed-lens-1947689)
- Revision ID: srba.jiri@gmail.com-20211105141149-08lsxcyfsd84jdk3
merged in lp:~tapaal-contributor/tapaal/merge-components-changed-lens-1947689 fixing problem with lens when merging components
expand all
collapse all
added
removed
