diff options
| author | Mohamed Zenadi <mohamed@zenadi.com> | 2017-06-24 12:24:28 +0200 |
|---|---|---|
| committer | Mohamed Zenadi <mohamed@zenadi.com> | 2017-06-24 12:24:28 +0200 |
| commit | 7b8ad7ca0f575113359bacadf151303f5b4c53a4 (patch) | |
| tree | 14cc8b5c87a2aaa13064dad19b2c217ebc42ef4d /app/src/main/res/xml/preference.xml | |
| parent | fca7f8267b2602f3d4b7b671278cad181f64eb63 (diff) | |
revert auto-sync and background git activity
too buggy, no time to work on it correclty
Diffstat (limited to 'app/src/main/res/xml/preference.xml')
| -rw-r--r-- | app/src/main/res/xml/preference.xml | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/app/src/main/res/xml/preference.xml b/app/src/main/res/xml/preference.xml index f7833ee5..250370e7 100644 --- a/app/src/main/res/xml/preference.xml +++ b/app/src/main/res/xml/preference.xml @@ -16,10 +16,6 @@ <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" |