diff options
author | Dirk Hohndel <dirk@hohndel.org> | 2018-09-10 06:30:01 -0700 |
---|---|---|
committer | Dirk Hohndel <dirk@hohndel.org> | 2018-09-10 16:26:49 -0700 |
commit | ae653703a5d3ff1da84053d4542420fc70325c5f (patch) | |
tree | 3c93c581dc3d7a2209b7dc021d14515c34b75c04 /core/git-access.h | |
parent | 6e4a2538968d945d471489270136c4891b47b270 (diff) | |
download | subsurface-ae653703a5d3ff1da84053d4542420fc70325c5f.tar.gz |
prefs: git_local_only is not a preference
It's the current state of the app, so it should be a global variable, not a
preference.
Signed-off-by: Dirk Hohndel <dirk@hohndel.org>
Diffstat (limited to 'core/git-access.h')
-rw-r--r-- | core/git-access.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/core/git-access.h b/core/git-access.h index 77ff106a0..82927b87f 100644 --- a/core/git-access.h +++ b/core/git-access.h @@ -23,6 +23,7 @@ extern int git_load_dives(struct git_repository *, const char *); extern const char *get_sha(git_repository *repo, const char *branch); extern int do_git_save(git_repository *repo, const char *branch, const char *remote, bool select_only, bool create_empty); extern const char *saved_git_id; +extern bool git_local_only; extern void clear_git_id(void); extern void set_git_id(const struct git_oid *); extern enum remote_transport url_to_remote_transport(const char *remote); |