diff options
Diffstat (limited to 'app/src/main/res/xml/preference.xml')
| -rw-r--r-- | app/src/main/res/xml/preference.xml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/app/src/main/res/xml/preference.xml b/app/src/main/res/xml/preference.xml index 848a10ad..1ad898a8 100644 --- a/app/src/main/res/xml/preference.xml +++ b/app/src/main/res/xml/preference.xml @@ -3,6 +3,7 @@ <PreferenceCategory android:title="@string/pref_git_title"> <Preference android:title="@string/pref_edit_server_info" android:key="git_server_info"/> <Preference android:title="@string/pref_ssh_title" android:key="ssh_key" /> + <Preference android:title="@string/pref_git_delete_repo" android:key="git_delete_repo"/> </PreferenceCategory> <PreferenceCategory android:title="@string/pref_crypto_title"> |