diff options
| author | iNPUTmice <daniel@gultsch.de> | 2014-09-03 16:13:49 +0200 |
|---|---|---|
| committer | iNPUTmice <daniel@gultsch.de> | 2014-09-03 16:13:49 +0200 |
| commit | ceddf99aa37c218a3edc865163c54d26f34d2ff3 (patch) | |
| tree | 3f735090f73e27895132c177e9262d67ed723910 /libs/openpgp-api-lib/build.xml | |
| parent | 253438e698d4e7f69b97dcc11c07426c03fbc416 (diff) | |
set openpgp-api-lib to a version that actually works
Diffstat (limited to 'libs/openpgp-api-lib/build.xml')
| m--------- | libs/openpgp-api-lib | 13 |
1 files changed, 8 insertions, 5 deletions
diff --git a/libs/openpgp-api-lib b/libs/openpgp-api-lib -Subproject 6bec5eedde31bacbafcb541a728719eeff99d3b +Subproject fb3c754ea84cc38052f6e0eb280ecf42d343770 |