diff options
author | Daniel Gultsch <daniel@gultsch.de> | 2016-09-28 12:24:50 +0200 |
---|---|---|
committer | Daniel Gultsch <daniel@gultsch.de> | 2016-09-28 12:24:50 +0200 |
commit | f0dbcce58fecd294efdc2d049f85b8bd794aad3e (patch) | |
tree | 4936c68070ec8d086a1b39c4ec6d17a77a1acb4a /src/main/res/xml/preferences.xml | |
parent | 5cd8917122abebe317388fc9cb145b28d58f6d30 (diff) |
expert 'setting' to remove omemo identity. fixes #2038
Diffstat (limited to 'src/main/res/xml/preferences.xml')
-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 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" |