diff options
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" |