From 6381f3a9987f44c4c827ab2c9033519f191a2cce Mon Sep 17 00:00:00 2001
From: peb <unknown>
Date: Fri, 4 Feb 2005 09:10:28 +0000
Subject: "Committed_by_peb"

---
 src/GF/Shell/ShellCommands.hs | 14 ++++++++++++++
 1 file changed, 14 insertions(+)

(limited to 'src/GF/Shell/ShellCommands.hs')

diff --git a/src/GF/Shell/ShellCommands.hs b/src/GF/Shell/ShellCommands.hs
index dda54e1c9..58fc527bf 100644
--- a/src/GF/Shell/ShellCommands.hs
+++ b/src/GF/Shell/ShellCommands.hs
@@ -1,3 +1,17 @@
+----------------------------------------------------------------------
+-- |
+-- Module      : (Module)
+-- Maintainer  : (Maintainer)
+-- Stability   : (stable)
+-- Portability : (portable)
+--
+-- > CVS $Date $ 
+-- > CVS $Author $
+-- > CVS $Revision $
+--
+-- (Description of the module)
+-----------------------------------------------------------------------------
+
 module ShellCommands where
 
 import qualified Ident as I
-- 
cgit v1.2.3