aboutsummaryrefslogtreecommitdiffstats
path: root/src/main/res/xml/preferences.xml
diff options
context:
space:
mode:
authorDaniel Gultsch <daniel@gultsch.de>2016-09-28 12:24:50 +0200
committerDaniel Gultsch <daniel@gultsch.de>2016-09-28 12:24:50 +0200
commitf0dbcce58fecd294efdc2d049f85b8bd794aad3e (patch)
tree4936c68070ec8d086a1b39c4ec6d17a77a1acb4a /src/main/res/xml/preferences.xml
parent5cd8917122abebe317388fc9cb145b28d58f6d30 (diff)
expert 'setting' to remove omemo identity. fixes #2038
Diffstat (limited to '')
-rw-r--r--src/main/res/xml/preferences.xml4
1 files changed, 4 insertions, 0 deletions
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"