• Jehan's avatar
    themes: remove Dark, Gray and Light themes. · 0edde674
    Jehan authored
    These are not working anymore since we now need CSS themes.
    Also we'll prefer to use theme variants anyway.
    I also remove a remnant of the old "Small" theme, which was not
    installed anymore anyway, and is not useful anymore.
Last commit
Last update
System Loading commit data...
.gitignore Loading commit data...
Makefile.am Loading commit data...