From 0eef4da47b58500075950548f1ef46c0d265d097 Mon Sep 17 00:00:00 2001
From: Wolfgang Wiedmeyer <wolfgit@wiedmeyer.de>
Date: Tue, 15 Dec 2015 17:55:32 +0100
Subject: [PATCH] no proprietary files needed for booting anymore, yay! also
 switch to fossencdi i9300 repo

---
 default.xml | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/default.xml b/default.xml
index 1efb66f..7eafd30 100644
--- a/default.xml
+++ b/default.xml
@@ -546,11 +546,10 @@
   <project path="kernel/samsung/smdk4412" name="kernel_samsung_smdk4412.git" remote="fossencdi" revision="replicant-6.0" />
 
 <!-- DEVICE SPECIFIC -->
-  <project path="device/samsung/i9300" name="CyanogenMod/android_device_samsung_i9300" />
+  <project path="device/samsung/i9300" name="device_samsung_i9300.git" remote="fossencdi" revision="replicant-6.0" />
   <project path="device/samsung/smdk4412-common" name="device_samsung_smdk4412-common.git" remote="fossencdi" revision="replicant-6.0" />
   <project path="packages/apps/SamsungServiceMode" name="CyanogenMod/android_packages_apps_SamsungServiceMode" />
   <project path="hardware/samsung" name="CyanogenMod/android_hardware_samsung" />
   <project path="external/stlport" name="CyanogenMod/android_external_stlport" />
-  <project path="vendor/samsung" name="TheMuppets/proprietary_vendor_samsung" />
 
 </manifest>