aboutsummaryrefslogtreecommitdiffstats
path: root/project.properties
diff options
context:
space:
mode:
authorFlorian Schmaus <flo@geekplace.eu>2014-06-08 13:18:46 +0200
committerFlorian Schmaus <flo@geekplace.eu>2014-06-08 13:27:25 +0200
commit3236432c39f1d5a1bbbe362c5cfdb088756fd04f (patch)
tree3e67a0bed7fdd2d7525eca395c7f0dfd44bc64f5 /project.properties
parent152be6eb1a22da8cebe24ac4ee05b487936c9f2a (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 'project.properties')
-rw-r--r--project.properties2
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