- 24 Jan, 2022 1 commit
-
-
Mathias Neerup authoredCloses #4962
-
- 01 Jul, 2018 1 commit
-
-
Jonathen Russell authored
I found this quite annoying not being in this theme after switching from gentoo-theme, it's helpful and it doesn't detract from simplicity.
-
- 20 May, 2011 1 commit
-
-
Jan-Oliver Jahner authored
-