• 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.
    0edde674
Makefile.am 76 Bytes