diff options
| author | Dave Davenport <qball@gmpclient.org> | 2017-10-31 19:00:31 +0100 |
|---|---|---|
| committer | Dave Davenport <qball@gmpclient.org> | 2017-10-31 19:00:31 +0100 |
| commit | 316de7ebeb1c9b810ba797a626d1d9364a47b4b6 (patch) | |
| tree | 868bb537ba8e4eb350d9e5e6004c449218446852 /Makefile.am | |
| parent | 3c37ba7a1cebb25b54b9576e47c17fe15269b9e1 (diff) | |
Remove default-theme header file.
Diffstat (limited to 'Makefile.am')
| -rw-r--r-- | Makefile.am | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/Makefile.am b/Makefile.am index 1512c12a..c24d028c 100644 --- a/Makefile.am +++ b/Makefile.am @@ -102,7 +102,6 @@ SOURCES=\ include/history.h\ include/theme.h\ include/css-colors.h\ - include/default-theme.h\ include/widgets/box.h\ include/widgets/container.h\ include/widgets/widget.h\ |