From fb76949a237aa07eeaea3a3ca0ded5bdd090450a Mon Sep 17 00:00:00 2001
From: Ferruccio Guidi <ferruccio.guidi@unibo.it>
Date: Wed, 15 Nov 2006 14:11:51 +0000
Subject: [PATCH] removed prived CoRN configuration file :)

---
 .../components/binaries/transcript/CoRN-2.conf.xml     | 10 ----------
 1 file changed, 10 deletions(-)
 delete mode 100644 helm/software/components/binaries/transcript/CoRN-2.conf.xml

diff --git a/helm/software/components/binaries/transcript/CoRN-2.conf.xml b/helm/software/components/binaries/transcript/CoRN-2.conf.xml
deleted file mode 100644
index 6e3958459..000000000
--- a/helm/software/components/binaries/transcript/CoRN-2.conf.xml
+++ /dev/null
@@ -1,10 +0,0 @@
-<?xml version="1.0" encoding="utf-8"?>
-<helm_registry>
-  <section name="package">      
-    <key name="name">CoRN</key>
-    <key name="base_uri">cic:/matita/CoRN-Decl</key>
-    <key name="input_path">/home/fguidi/CoRN-2</key>
-    <key name="output_path">$(transcript.helm_dir)/matita/contribs/CoRN-Decl</key>
-    <key name="script_ext">.v</key>
-  </section>
-</helm_registry>
-- 
2.39.2