diff options
| author | zeapo <mohamed@zenadi.com> | 2017-06-05 14:30:19 +0200 |
|---|---|---|
| committer | zeapo <mohamed@zenadi.com> | 2017-06-05 14:30:19 +0200 |
| commit | bbd7f661918fa2a96c7c2f2d954c0a10dc24ce9b (patch) | |
| tree | dde5a4a11e76893a2675c6e95c41724504bb51e2 /app/src/main/res/xml/preference.xml | |
| parent | 3a5a322bfa54d2b520cfb2ff9dfc03bdea55c23b (diff) | |
add autoSync on startup
Diffstat (limited to 'app/src/main/res/xml/preference.xml')
| -rw-r--r-- | app/src/main/res/xml/preference.xml | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/app/src/main/res/xml/preference.xml b/app/src/main/res/xml/preference.xml index 67c33f8c..c4a2398c 100644 --- a/app/src/main/res/xml/preference.xml +++ b/app/src/main/res/xml/preference.xml @@ -16,6 +16,10 @@ <Preference android:key="ssh_see_key" android:title="@string/pref_ssh_see_key_title" /> + <CheckBoxPreference + android:key="git_auto_sync" + android:summary="@string/git_auto_sync_summary" + android:title="@string/git_auto_sync_title" /> <Preference android:key="git_delete_repo" android:summary="@string/pref_git_delete_repo_summary" |