diff options
author | Joakim Bygdell <j.bygdell@gmail.com> | 2017-02-04 10:13:58 +0100 |
---|---|---|
committer | Dirk Hohndel <dirk@hohndel.org> | 2017-02-05 11:59:47 -0800 |
commit | d4dbd0bee78702116cbf389721cff17bfe52dbc2 (patch) | |
tree | 988eb5786645749374613ed3e9db27cf16787c54 /core/pref.h | |
parent | 6518b0db4563839c0adccae32cc4b4f5e9fa27a8 (diff) | |
download | subsurface-d4dbd0bee78702116cbf389721cff17bfe52dbc2.tar.gz |
Save profile settings to git
In order to streamline the view between desktop and mobile we need to save
selected profile related settings to git.
Signed-off-by: Joakim Bygdell <j.bygdell@gmail.com>
Diffstat (limited to 'core/pref.h')
-rw-r--r-- | core/pref.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/core/pref.h b/core/pref.h index 293899ab6..d2df7a8f3 100644 --- a/core/pref.h +++ b/core/pref.h @@ -173,7 +173,7 @@ enum cloud_status { CS_VERIFIED }; -extern struct preferences prefs, default_prefs, informational_prefs; +extern struct preferences prefs, default_prefs, informational_prefs, git_prefs; #define PP_GRAPHS_ENABLED (prefs.pp_graphs.po2 || prefs.pp_graphs.pn2 || prefs.pp_graphs.phe) |