diff options
| author | Mohamed Zenadi <mohamed@zenadi.com> | 2015-05-17 19:12:14 +0200 |
|---|---|---|
| committer | Mohamed Zenadi <mohamed@zenadi.com> | 2015-05-17 19:12:14 +0200 |
| commit | 275f06835a18413a88b24137f7d5e7db114e10de (patch) | |
| tree | 897e8f6ffcc15752df5c98875804e1f4b7e669d2 /app/src/main/res | |
| parent | 7fe81e9c27d10ec992a28bdea146c84f3e11cd60 (diff) | |
Initial support for external *git* repositories, fix #41, fix #48
Diffstat (limited to 'app/src/main/res')
| -rw-r--r-- | app/src/main/res/xml/preference.xml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/app/src/main/res/xml/preference.xml b/app/src/main/res/xml/preference.xml index b3bed289..bbb1ed24 100644 --- a/app/src/main/res/xml/preference.xml +++ b/app/src/main/res/xml/preference.xml @@ -9,6 +9,8 @@ android:summary="Use an external password repository"/> <Preference android:title="Select external repository" android:key="pref_select_external" android:dependency="git_external"/> + <CheckBoxPreference android:title="Enable git" android:key="git_enabled" + android:summary="Enable Git" android:enabled="false"/> </PreferenceCategory> <PreferenceCategory android:title="@string/pref_crypto_title"> |