Viewing all changes in revision 1026.
- Committer: Jiri Srba
- Date: 2019-11-01 07:34:00 UTC
- mfrom: (1018.6.2 notes-hides-namelabels-1848947)
- Revision ID: srba.jiri@gmail.com-20191101073400-26p37c8it0kgw4yw
merged in lp:~tapaal-contributor/tapaal/notes-hides-namelabels-1848947 so annotations do not hide any labels
expand all
collapse all
added
removed
