diff options
| author | Daniel Gultsch <daniel@gultsch.de> | 2016-01-13 12:19:56 +0100 |
|---|---|---|
| committer | Daniel Gultsch <daniel@gultsch.de> | 2016-01-13 12:19:56 +0100 |
| commit | 14428da10835f21d486b746308dfa198b1c87637 (patch) | |
| tree | a55478ea9f526c57b2ea9e3f79e35174846f3861 /src/main/res/xml/preferences.xml | |
| parent | 571eb2f7f92bf4dfaa3611291ef7c96294dfa393 (diff) | |
show key fetch error in activity when there are no keys to be used
Diffstat (limited to 'src/main/res/xml/preferences.xml')
0 files changed, 0 insertions, 0 deletions