Viewing all changes in revision 1164.
- Committer: Jiri Srba
- Date: 2021-12-06 20:00:02 UTC
- mfrom: (1153.7.7 tapaal)
- Revision ID: srba@cs.aau.dk-20211206200002-1su3bit9nqyiy1rx
merged in lp:~tapaal-contributor/tapaal/fix-transition-name-highlighting-1952520 fixing problem with label highligting for transitions (dark mode on ubuntu should be checked)
expand all
collapse all
added
removed
