diff options
author | Daniel Gultsch <daniel@gultsch.de> | 2016-01-16 21:35:38 +0100 |
---|---|---|
committer | Daniel Gultsch <daniel@gultsch.de> | 2016-01-16 21:35:38 +0100 |
commit | 0b239243d9ae6c8b4bed7a40aef99a3bcd065e30 (patch) | |
tree | 6ba22906ef85225d9b924970f829fb07adaee33f /src/main/res/values/themes.xml | |
parent | a83365ee959e7d27f6abcfd0692499eaf14986fd (diff) | |
parent | a9a3ef0f6783a235575740553daffb0d8d4c586b (diff) |
Merge pull request #1655 from adithyaphilip/pgp-fix
Fixes having to choose PGP twice, upgrades openpgp-api to 10
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions