diff options
| author | shanavas <shanavas.m2@gmail.com> | 2017-04-27 19:12:50 +0300 |
|---|---|---|
| committer | Mohamed Zenadi <zeapo@users.noreply.github.com> | 2017-04-27 18:12:50 +0200 |
| commit | 2d1a9f7a44154035b5a47b0a9843c365dadcb62c (patch) | |
| tree | a60fe287e38c7b4ed0fa8eddd43bfc603b46230f /app/src/main/res/xml/preference.xml | |
| parent | 94c9b5be645d4abcb8f3374c6a4963b5cfa14335 (diff) | |
Make git username and email configurable (#289)
* Gather git config data and save in preferences
* Align text box properly
* Apply git configs from settings
* Validate email address
Diffstat (limited to 'app/src/main/res/xml/preference.xml')
| -rw-r--r-- | app/src/main/res/xml/preference.xml | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/app/src/main/res/xml/preference.xml b/app/src/main/res/xml/preference.xml index 0471e71d..67c33f8c 100644 --- a/app/src/main/res/xml/preference.xml +++ b/app/src/main/res/xml/preference.xml @@ -5,6 +5,9 @@ android:key="git_server_info" android:title="@string/pref_edit_server_info" /> <Preference + android:key="git_config" + android:title="@string/pref_edit_git_config" /> + <Preference android:key="ssh_key" android:title="@string/pref_ssh_title" /> <Preference |