From 3e15729c530b305497a311a7aea48c8aec5edd53 Mon Sep 17 00:00:00 2001
From: Guillaume Beraudo <guillaume.beraudo@belledonne-communications.com>
Date: Thu, 3 Nov 2011 16:19:37 +0100
Subject: [PATCH] Restore once again default.properties

---
 default.properties | 11 +++++++++++
 1 file changed, 11 insertions(+)
 create mode 100644 default.properties

diff --git a/default.properties b/default.properties
new file mode 100644
index 000000000..ac9e1a0b5
--- /dev/null
+++ b/default.properties
@@ -0,0 +1,11 @@
+# This file is automatically generated by Android Tools.
+# Do not modify this file -- YOUR CHANGES WILL BE ERASED!
+#
+# This file must be checked in Version Control Systems.
+#
+# To customize properties used by the Ant build system use,
+# "build.properties", and override values to adapt the script to your
+# project structure.
+
+# Project target.
+target=android-13