From 8fab3129439ac3a3e4730d9743bd2019a4a20a88 Mon Sep 17 00:00:00 2001
From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Mon, 9 Jan 2006 13:54:29 +0000
Subject: [PATCH] coq repository is legacy

---
 helm/matita/matita.conf.xml.sample.in | 1 +
 1 file changed, 1 insertion(+)

diff --git a/helm/matita/matita.conf.xml.sample.in b/helm/matita/matita.conf.xml.sample.in
index b932b7ca9..ee9aae13b 100644
--- a/helm/matita/matita.conf.xml.sample.in
+++ b/helm/matita/matita.conf.xml.sample.in
@@ -26,6 +26,7 @@
     <key name="prefix">
       cic:/
       file:///projects/helm/library/coq_contribs/
+      legacy
     </key>
     <key name="prefix">
       cic:/matita/
-- 
2.39.2