From e5a106b2c0d621013c2a118cc3fe0d609be39707 Mon Sep 17 00:00:00 2001
From: David Black <david8black@gmail.com>
Date: Tue, 25 Jun 2013 14:01:24 +0100
Subject: [PATCH] HoloEverywhere srclib gone; forks appear to have rebased

---
 srclibs/HoloEverywhere.txt | 9 +++++----
 1 file changed, 5 insertions(+), 4 deletions(-)

diff --git a/srclibs/HoloEverywhere.txt b/srclibs/HoloEverywhere.txt
index f8608fd5fc..fd46588f9c 100644
--- a/srclibs/HoloEverywhere.txt
+++ b/srclibs/HoloEverywhere.txt
@@ -1,7 +1,8 @@
-Repo Type:git
-Repo:https://github.com/ChristopheVersieux/HoloEverywhere.git
+# Disappeared
+#Repo Type:git
+#Repo:https://github.com/ChristopheVersieux/HoloEverywhere.git
 
-Subdir:library
+#Subdir:library
 
-Update Project:Yes
+#Update Project:Yes