From 1e33313ad4cd986ae4cb63b616b11d9cea69ced6 Mon Sep 17 00:00:00 2001
From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Fri, 28 May 2004 10:36:09 +0000
Subject: [PATCH] ls2html.xsl no longer in use

---
 helm/on-line/xslt/xslt_index.txt | 1 -
 1 file changed, 1 deletion(-)

diff --git a/helm/on-line/xslt/xslt_index.txt b/helm/on-line/xslt/xslt_index.txt
index 3b6246839..dd7465326 100644
--- a/helm/on-line/xslt/xslt_index.txt
+++ b/helm/on-line/xslt/xslt_index.txt
@@ -1,5 +1,4 @@
 getParam.xsl
-ls2html.xsl
 ls2theory.xsl
 makeGraphLinks.xsl
 metadataControl.xsl
-- 
2.39.2