Viewing all changes in revision 1108.
- Committer: Jiri Srba
- Date: 2020-10-30 20:41:35 UTC
- mfrom: (1106.2.3 ubuntu-dark-theme-improvements-1897539)
- Revision ID: srba@cs.aau.dk-20201030204135-b2ls80e3bm80mv4i
merged in lp:~tapaal-contributor/tapaal/ubuntu-dark-theme-improvements-1897539 fixing some issues for dark mode on ubuntu
expand all
collapse all
added
removed
