diff options
| author | Daniel Gultsch <daniel.gultsch@rwth-aachen.de> | 2014-04-03 14:02:30 +0200 |
|---|---|---|
| committer | Daniel Gultsch <daniel.gultsch@rwth-aachen.de> | 2014-04-03 14:02:30 +0200 |
| commit | 24d6e8615c4a21b8a3ea5f09e1006029d5aaa09e (patch) | |
| tree | f3c1cd236eec2de19cf361de44b8c48a83066f57 /build.xml | |
| parent | e70c0cfffd61a461a14d32907bb178892e940de9 (diff) | |
set openpgp api to v2.4
Diffstat (limited to 'build.xml')
0 files changed, 0 insertions, 0 deletions