diff options
| author | Dominik Schürmann <dominik@dominikschuermann.de> | 2014-08-31 23:39:59 +0200 |
|---|---|---|
| committer | Dominik Schürmann <dominik@dominikschuermann.de> | 2014-08-31 23:39:59 +0200 |
| commit | eda2470c4d7129afe3ef4a4c579b0c3bab0e37b4 (patch) | |
| tree | 2b7e6f4d6db5e240b7ce292a137463c788520de6 /build.xml | |
| parent | e0be0f648ade84a83c7561c0521853447ca8b3da (diff) | |
| parent | fb3c754ea84cc38052f6e0eb280ecf42d3437705 (diff) | |
Merge branch 'master' of https://github.com/open-keychain/openpgp-api-lib
Diffstat (limited to 'build.xml')
0 files changed, 0 insertions, 0 deletions