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/values | |
parent | 5cd8917122abebe317388fc9cb145b28d58f6d30 (diff) |
expert 'setting' to remove omemo identity. fixes #2038
Diffstat (limited to 'src/main/res/values')
-rw-r--r-- | src/main/res/values/strings.xml | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/main/res/values/strings.xml b/src/main/res/values/strings.xml index e53742e9..6d5476d2 100644 --- a/src/main/res/values/strings.xml +++ b/src/main/res/values/strings.xml @@ -687,4 +687,7 @@ <string name="wrong_conference_configuration">This is not a private, non-anonymous conference.</string> <string name="this_conference_has_no_members">There are no members in this conference.</string> <string name="report_jid_as_spammer">Report this JID as sending unwanted messages.</string> + <string name="pref_delete_omemo_identities">Delete OMEMO identities</string> + <string name="pref_delete_omemo_identities_summary">Regenerate your OMEMO keys. All your contacts will have to verify you again. Use this only as a last resort.</string> + <string name="delete_selected_keys">Delete selected keys</string> </resources> |