diff options
| author | iNPUTmice <daniel@gultsch.de> | 2014-07-22 17:27:44 +0200 |
|---|---|---|
| committer | iNPUTmice <daniel@gultsch.de> | 2014-07-22 17:27:44 +0200 |
| commit | 4607e2c546fec78d7ae0ca8ce779a2267e6edbe2 (patch) | |
| tree | 9dc9826b37ca5aafc1e6c10bd6677645436c6339 /project.properties | |
| parent | 9fcc195a6dad81c56a28f3924ab4912198fc3c38 (diff) | |
switched to mtm
Diffstat (limited to '')
| -rw-r--r-- | project.properties | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/project.properties b/project.properties index 86ae5d0c..7276fb94 100644 --- a/project.properties +++ b/project.properties @@ -14,3 +14,4 @@ target=android-19 android.library.reference.1=libs/minidns android.library.reference.2=libs/openpgp-api-lib +android.library.reference.3=libs/MemorizingTrustManager |