From 3236432c39f1d5a1bbbe362c5cfdb088756fd04f Mon Sep 17 00:00:00 2001
From: Florian Schmaus <flo@geekplace.eu>
Date: Sun, 8 Jun 2014 13:18:46 +0200
Subject: 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.
---
 project.properties | 2 --
 1 file changed, 2 deletions(-)
 delete mode 100644 project.properties

(limited to 'project.properties')

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
-- 
cgit v1.2.3