Viewing all changes in revision 1025.
- Committer: Jiri Srba
- Date: 2019-11-01 07:35:02 UTC
- mfrom: (1019.6.2 notes-hides-namelabels-1848947)
- Revision ID: srba.jiri@gmail.com-20191101073502-2cjcftim4618wfah
merged in lp:~tapaal-contributor/tapaal/notes-hides-namelabels-1848947 so that annotations do not hide any labels
expand all
collapse all
added
removed
