From c65ba0b336707111ce5bbd6663e4e9d0765c55b5 Mon Sep 17 00:00:00 2001
From: XpLoDWilD <me@xplod.fr>
Date: Sun, 12 Jan 2014 14:37:10 +0100
Subject: [PATCH] Replace development path to new repository
 android_development

Change-Id: I7c75e37f7a80ce5df5da76a65527f5206aadc4e3
---
 default.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/default.xml b/default.xml
index 3bdc1c6..4440ad5 100644
--- a/default.xml
+++ b/default.xml
@@ -37,7 +37,7 @@
   <project path="developers/demos" name="platform/developers/demos" />
   <project path="developers/docs" name="platform/developers/docs" />
   <project path="developers/samples/android" name="platform/developers/samples/android" />
-  <project path="development" name="platform/development" />
+  <project path="development" name="android_development" remote="omnirom" revision="android-4.4" />
   <project path="device/common" name="device/common" />
   <project path="device/generic/armv7-a-neon" name="device/generic/armv7-a-neon" groups="pdk" />
   <project path="device/generic/common" name="device/generic/common" groups="pdk" />