From f0dbcce58fecd294efdc2d049f85b8bd794aad3e Mon Sep 17 00:00:00 2001
From: Daniel Gultsch <daniel@gultsch.de>
Date: Wed, 28 Sep 2016 12:24:50 +0200
Subject: expert 'setting' to remove omemo identity. fixes #2038

---
 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 68b2f73a..b01faa6b 100644
--- a/src/main/res/xml/preferences.xml
+++ b/src/main/res/xml/preferences.xml
@@ -183,6 +183,10 @@
                     android:key="allow_message_correction"
                     android:title="@string/pref_allow_message_correction"
                     android:summary="@string/pref_allow_message_correction_summary"/>
+                <Preference
+                    android:key="delete_omemo_identities"
+                    android:title="@string/pref_delete_omemo_identities"
+                    android:summary="@string/pref_delete_omemo_identities_summary"/>
             </PreferenceCategory>
             <PreferenceCategory
                 android:key="connection_options"
-- 
cgit v1.2.3