diff options
| author | Mohamed Zenadi <mohamed@zenadi.com> | 2016-12-11 17:32:53 +0100 |
|---|---|---|
| committer | Mohamed Zenadi <mohamed@zenadi.com> | 2016-12-11 17:32:53 +0100 |
| commit | 5644c06f2a51bf495ceaab2a27b0482436093c31 (patch) | |
| tree | 9b9228ab9afa623ba8c1596d32119932065a3e93 /app/src/main/res | |
| parent | 737d2819273e7ba07d3a993422b138b93b852415 (diff) | |
remove useless and confusing option from the preferences
Diffstat (limited to 'app/src/main/res')
| -rw-r--r-- | app/src/main/res/xml/preference.xml | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/app/src/main/res/xml/preference.xml b/app/src/main/res/xml/preference.xml index f99bcb95..b605058c 100644 --- a/app/src/main/res/xml/preference.xml +++ b/app/src/main/res/xml/preference.xml @@ -31,10 +31,6 @@ <org.openintents.openpgp.util.OpenPgpAppPreference android:key="openpgp_provider_list" android:title="@string/pref_provider_title" /> - <org.openintents.openpgp.util.OpenPgpKeyPreference - android:enabled="false" - android:key="openpgp_key" - android:title="Select key" /> <Preference android:key="openpgp_key_id_pref" android:title="@string/pref_key_title" /> |