From d98a30ee4828eff9b1b8c28ca917322b502ac08c Mon Sep 17 00:00:00 2001
From: zeapo <mohamed@zenadi.com>
Date: Thu, 4 Dec 2014 21:43:27 +0100
Subject: Add the possibility to edit git server information

Also uses jgit 3.6
---
 app/src/main/res/xml/preference.xml | 10 +---------
 1 file changed, 1 insertion(+), 9 deletions(-)

(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 7fe39daa..848a10ad 100644
--- a/app/src/main/res/xml/preference.xml
+++ b/app/src/main/res/xml/preference.xml
@@ -1,15 +1,7 @@
 <?xml version="1.0" encoding="utf-8"?>
 <PreferenceScreen xmlns:android="http://schemas.android.com/apk/res/android">
 	<PreferenceCategory android:title="@string/pref_git_title">
-		<EditTextPreference android:title= "@string/pref_server_title"
-			android:key="git_remote_server" android:hint="@string/pref_server_hint"
-			android:inputType="textUri" />
-		<EditTextPreference android:title="@string/pref_remote_title"
-			android:key="git_remote_location" android:hint="@string/pref_remote_hint"
-			android:inputType="textUri" />
-		<EditTextPreference android:title="@string/pref_git_username_title"
-			android:key="git_remote_username" android:hint="@string/pref_git_username_hint"
-			android:inputType="textPersonName" />
+		<Preference android:title="@string/pref_edit_server_info" android:key="git_server_info"/>
 		<Preference android:title="@string/pref_ssh_title" android:key="ssh_key" />
 	</PreferenceCategory>
 
-- 
cgit v1.2.3