From ce258dd40c333e7897f40db955e2bbaec40d6e81 Mon Sep 17 00:00:00 2001
From: Florian Liekweg <liekweg@ipd.info.uni-karlsruhe.de>
Date: Tue, 5 Oct 2004 16:18:06 +0000
Subject: [PATCH] Grrr, CVS messes up XML comments

[r4045]
---
 etc/effect.dtd | 19 +++++++++++--------
 1 file changed, 11 insertions(+), 8 deletions(-)

diff --git a/etc/effect.dtd b/etc/effect.dtd
index cd1eae1f0..9215034e1 100644
--- a/etc/effect.dtd
+++ b/etc/effect.dtd
@@ -84,11 +84,14 @@
 <!ELEMENT	return		(valref?)>
 
 <!-- $Log$
-<!-- Revision 1.3  2004/10/05 16:17:22  liekweg
-<!-- Added 'raise' -flo
-<!--
-Revision 1.2  2004/10/05 15:46:59  liekweg
-Added comment about this DTD's public location -flo
-Revision 1.1  2004/10/05 14:34:13  liekweg
-Added DTD for external effects description -flo
--->
+<!-- Revision 1.4  2004/10/05 16:18:06  liekweg
+<!-- Grrr, CVS messes up XML comments
+<!-- -->
+<!-- Revision 1.3  2004/10/05 16:17:22  liekweg -->
+<!-- Added 'raise' -flo -->
+<!-- -->
+<!-- Revision 1.2  2004/10/05 15:46:59  liekweg -->
+<!-- Added comment about this DTD's public location -flo -->
+<!-- Revision 1.1  2004/10/05 14:34:13  liekweg -->
+<!-- Added DTD for external effects description -flo -->
+<!-- -->
-- 
2.20.1