← Back to branch summary

~tapaal-contributor/tapaal/ubuntu-dark-theme-improvements-1897539

Viewing all changes in revision 1107.

  • Committer: ptaankvist at gmail
  • Date: 2020-10-01 18:42:54 UTC
  • Revision ID: ptaankvist@gmail.com-20201001184254-ucrwf319ac861nuy
Made some improvements to ubuntu dark theme

expand all expand all

Show diffs side-by-side

added added

removed removed

Lines of Context: