diff options
| author | Zeapo <mohamed@zenadi.com> | 2014-08-08 23:09:40 +0100 |
|---|---|---|
| committer | Zeapo <mohamed@zenadi.com> | 2014-08-08 23:09:40 +0100 |
| commit | 4002791b150d47d4dc173cc11deaffcb8a0e0c9d (patch) | |
| tree | 93b284a69673d097d7f32fcfc5567a45cd0e5429 /app/src/main/res | |
| parent | 42f1abfa76f06ee6d0a0e3bd5cc13b4afb1922a4 (diff) | |
cloning and pulling are not well encapsulated via a common interface
Diffstat (limited to 'app/src/main/res')
| -rw-r--r-- | app/src/main/res/xml/preference.xml | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/app/src/main/res/xml/preference.xml b/app/src/main/res/xml/preference.xml index 45497dbe..d0abd8d1 100644 --- a/app/src/main/res/xml/preference.xml +++ b/app/src/main/res/xml/preference.xml @@ -2,9 +2,14 @@ <PreferenceScreen xmlns:android="http://schemas.android.com/apk/res/android"> <PreferenceCategory android:title="Git"> <EditTextPreference android:title="Server" - android:key="git_remote_server"/> + android:key="git_remote_server" + android:hint="server.com"/> + <EditTextPreference android:title="Remote location" + android:key="git_remote_location" + android:hint="path/to/repository"/> <EditTextPreference android:title="Username" - android:key="git_remote_username"/> + android:key="git_remote_username" + android:hint="username"/> </PreferenceCategory> <PreferenceCategory android:title="Crypto"> |