From 112d71588c929509c8cb683548ee538466b99f9a Mon Sep 17 00:00:00 2001
From: zeapo <mohamed@zenadi.com>
Date: Sat, 6 Dec 2014 01:19:56 +0100
Subject: enable the users to delete the repository

---
 app/src/main/res/xml/preference.xml | 1 +
 1 file changed, 1 insertion(+)

(limited to 'app/src/main/res/xml/preference.xml')

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">
-- 
cgit v1.2.3