diff options
author | Kjell Ahlstedt <kjellahlstedt@gmail.com> | 2023-03-12 17:04:33 +0100 |
---|---|---|
committer | Kjell Ahlstedt <kjellahlstedt@gmail.com> | 2023-03-12 17:04:33 +0100 |
commit | 17e74d49ddea570baef49b99f78c42e432299ef6 (patch) | |
tree | b7194f8cec1b46eaed1ec850024182d6a89ce348 | |
parent | f32efe5b21da6b89b46d89247588e2469fe41fd2 (diff) | |
download | glibmm-17e74d49ddea570baef49b99f78c42e432299ef6.tar.gz |
Gio::Settings: Add an #include
-rw-r--r-- | gio/src/settings.hg | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/gio/src/settings.hg b/gio/src/settings.hg index 66c8b4d5..d3dd6b9a 100644 --- a/gio/src/settings.hg +++ b/gio/src/settings.hg @@ -19,6 +19,7 @@ _CONFIGINCLUDE(giommconfig.h) #include <glibmm/object.h> #include <glibmm/variant.h> #include <giomm/action.h> +#include <optional> _DEFS(giomm,gio) _PINCLUDE(glibmm/private/object_p.h) |