diff options
| author | Dominik Schürmann <dominik@dominikschuermann.de> | 2014-09-07 19:23:20 +0200 |
|---|---|---|
| committer | Dominik Schürmann <dominik@dominikschuermann.de> | 2014-09-07 19:23:20 +0200 |
| commit | ac927df10abfd73b48d5971dee91e6d1bfc144b2 (patch) | |
| tree | c5b9a3d5a6b679bd5bc7377da61c15978bfce5a3 /project.properties | |
| parent | f6d678cbe50ac2b68264ba62e87c2978765e78e7 (diff) | |
| parent | ec234ebf010a268922e8f3c08f21f9efd8cf1cea (diff) | |
Merge branch 'master' of https://github.com/open-keychain/openpgp-api-lib
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions