diff options
author | Christian Schneppe <christian@pix-art.de> | 2016-09-28 21:40:51 +0200 |
---|---|---|
committer | Christian Schneppe <christian@pix-art.de> | 2016-09-28 21:40:51 +0200 |
commit | 314bc117bff752d98f51be8cd2f82285d32393f1 (patch) | |
tree | f5f0498bee3fba5c386ea3ca8f2537c0e0c7a7fe /src/main/res/xml | |
parent | 6fdaed555ebcb18a313b78cebeab5c376861544d (diff) |
expert 'setting' to remove omemo identity
Diffstat (limited to '')
-rw-r--r-- | src/main/res/xml/preferences.xml | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/main/res/xml/preferences.xml b/src/main/res/xml/preferences.xml index 455b67990..e9ca42ef9 100644 --- a/src/main/res/xml/preferences.xml +++ b/src/main/res/xml/preferences.xml @@ -225,6 +225,10 @@ android:key="dont_save_encrypted" android:summary="@string/pref_dont_save_encrypted_summary" android:title="@string/pref_dont_save_encrypted" /> + <Preference + android:key="delete_omemo_identities" + android:title="@string/pref_delete_omemo_identities" + android:summary="@string/pref_delete_omemo_identities_summary"/> <CheckBoxPreference android:defaultValue="false" android:key="dont_trust_system_cas" |