From c65fc9130ec4f6d820c51277f9857871744a3fd0 Mon Sep 17 00:00:00 2001
From: Marko Man <darkobas@gmail.com>
Date: Fri, 8 Nov 2019 14:58:59 +0100
Subject: [PATCH] manifest: remove coral repos

Change-Id: I1765d7ffb97eff203ca62dd340b786fbac32c1a7
---
 remove.xml | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/remove.xml b/remove.xml
index 8852f4f..9f1e2dc 100644
--- a/remove.xml
+++ b/remove.xml
@@ -32,6 +32,9 @@
   <remove-project name="device/google/bonito-kernel" />
   <remove-project name="device/google/bonito-sepolicy" />
   <remove-project name="device/google/contexthub" />
+  <remove-project name="device/google/coral" />
+  <remove-project name="device/google/coral-kernel" />
+  <remove-project name="device/google/coral-sepolicy" />
   <remove-project name="device/google/crosshatch" />
   <remove-project name="device/google/crosshatch-kernel" />
   <remove-project name="device/google/crosshatch-sepolicy" />