diff options
| author | zeapo <mohamed@zenadi.com> | 2014-12-06 01:19:56 +0100 |
|---|---|---|
| committer | zeapo <mohamed@zenadi.com> | 2014-12-06 01:19:56 +0100 |
| commit | 112d71588c929509c8cb683548ee538466b99f9a (patch) | |
| tree | be2b241e6fcb625220720be9057c8800947a2b43 /app/src/main/res/xml | |
| parent | 1b520cff549db8bac3f2904e45dfb2f4961994ae (diff) | |
enable the users to delete the repositoryv1.2.0.8
Diffstat (limited to 'app/src/main/res/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"> |