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/time.c | |
| 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/time.c')
0 files changed, 0 insertions, 0 deletions