diff options
| author | Florian Schmaus <flo@geekplace.eu> | 2014-06-08 13:18:46 +0200 |
|---|---|---|
| committer | Florian Schmaus <flo@geekplace.eu> | 2014-06-08 13:27:25 +0200 |
| commit | 3236432c39f1d5a1bbbe362c5cfdb088756fd04f (patch) | |
| tree | 3e67a0bed7fdd2d7525eca395c7f0dfd44bc64f5 /project.properties | |
| parent | 152be6eb1a22da8cebe24ac4ee05b487936c9f2a (diff) | |
Make minidns Android agnostic
there is really no need for minidns to be Android exclusive. Replacing
the Android log API with JUL make minidns available for Android and Java
SE.
Diffstat (limited to '')
| -rw-r--r-- | project.properties | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/project.properties b/project.properties deleted file mode 100644 index 9e86aa64..00000000 --- a/project.properties +++ /dev/null @@ -1,2 +0,0 @@ -target=android-19 -android.library=true |