From 314bc117bff752d98f51be8cd2f82285d32393f1 Mon Sep 17 00:00:00 2001
From: Christian Schneppe <christian@pix-art.de>
Date: Wed, 28 Sep 2016 21:40:51 +0200
Subject: expert 'setting' to remove omemo identity

---
 src/main/res/xml/preferences.xml | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'src/main/res/xml')

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"
-- 
cgit v1.2.3