diff options
| author | Victor Kareh <[email protected]> | 2019-05-30 08:35:39 -0400 |
|---|---|---|
| committer | raveit65 <[email protected]> | 2019-06-16 18:12:44 +0200 |
| commit | d4ccb50139bb2899729fb042fcf4717960557863 (patch) | |
| tree | 80fc346c0ab7b93690b5e25260e864ae2b090446 | |
| parent | 18ed6c9a52f34ee1a95a964758030aa4adf4003a (diff) | |
| download | marco-d4ccb50139bb2899729fb042fcf4717960557863.tar.bz2 marco-d4ccb50139bb2899729fb042fcf4717960557863.tar.xz | |
theme: fix warning
upstream commit:
https://gitlab.gnome.org/GNOME/metacity/commit/3a3c47e3
| -rw-r--r-- | src/ui/theme.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/ui/theme.c b/src/ui/theme.c index c34a7330..423d5c1c 100644 --- a/src/ui/theme.c +++ b/src/ui/theme.c @@ -53,6 +53,7 @@ */ #include <config.h> +#include "prefs.h" #include "theme.h" #include "theme-parser.h" #include "util.h" |