From 9568d7a844ba6a1872a8e8f6ef002860057e62ab Mon Sep 17 00:00:00 2001
From: peb <unknown>
Date: Fri, 18 Feb 2005 18:21:06 +0000
Subject: "Committed_by_peb"

---
 src/GF/Infra/Comments.hs | 13 ++++++-------
 1 file changed, 6 insertions(+), 7 deletions(-)

(limited to 'src/GF/Infra/Comments.hs')

diff --git a/src/GF/Infra/Comments.hs b/src/GF/Infra/Comments.hs
index 919b7dd12..c90224a81 100644
--- a/src/GF/Infra/Comments.hs
+++ b/src/GF/Infra/Comments.hs
@@ -1,22 +1,21 @@
 ----------------------------------------------------------------------
 -- |
--- Module      : (Module)
+-- Module      : Comments
 -- Maintainer  : (Maintainer)
 -- Stability   : (stable)
 -- Portability : (portable)
 --
--- > CVS $Date $ 
--- > CVS $Author $
--- > CVS $Revision $
+-- > CVS $Date: 2005/02/18 19:21:13 $ 
+-- > CVS $Author: peb $
+-- > CVS $Revision: 1.4 $
 --
--- (Description of the module)
+-- comment removal
 -----------------------------------------------------------------------------
 
 module Comments ( remComments
 		) where
 
--- | comment removal : line tails prefixed by -- as well as chunks in {- ... -}
-
+-- | comment removal : line tails prefixed by -- as well as chunks in @{- ... -}@
 remComments :: String -> String
 remComments s = 
   case s of
-- 
cgit v1.2.3