diff options
| author | Daniel Gultsch <daniel@gultsch.de> | 2016-10-19 11:53:55 +0200 |
|---|---|---|
| committer | Daniel Gultsch <daniel@gultsch.de> | 2016-10-19 11:53:55 +0200 |
| commit | dce8149aaec9b854853bc136eb6a9861885d4e8d (patch) | |
| tree | 67d522143fcd3cd07bd2ae09f1a4049c09e2df03 /libs/MemorizingTrustManager/AndroidManifest.xml | |
| parent | 7226fc0010b4b35591930793c2e56174d5d4c193 (diff) | |
retrigger key selection if openpgp key was deleted
Diffstat (limited to 'libs/MemorizingTrustManager/AndroidManifest.xml')
0 files changed, 0 insertions, 0 deletions