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 /source | |
| parent | 3c37ba7a1cebb25b54b9576e47c17fe15269b9e1 (diff) | |
Remove default-theme header file.
Diffstat (limited to 'source')
| -rw-r--r-- | source/rofi.c | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/source/rofi.c b/source/rofi.c index e81fa724..0c49c946 100644 --- a/source/rofi.c +++ b/source/rofi.c @@ -71,8 +71,6 @@ #include "timings.h" -#include "default-theme.h" - // Plugin abi version. // TODO: move this check to mode.c #include "mode-private.h" |