0edde674b7
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.
3 lines
76 B
Makefile
3 lines
76 B
Makefile
## Process this file with automake to produce Makefile.in
|
|
|
|
SUBDIRS = System
|