From d32adb06070f8be2b02f8606f4f46346176d3fb7 Mon Sep 17 00:00:00 2001
From: David Black <david8black@gmail.com>
Date: Tue, 25 Jun 2013 21:09:01 +0100
Subject: [PATCH] use (fork?) for HoloEverywhere: we used tags and they still
 work

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

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