From 4ab0df67c5c5ae837e63b3c7285ef97058740778 Mon Sep 17 00:00:00 2001 From: bringert Date: Thu, 20 Dec 2007 17:07:56 +0000 Subject: Added newlines and ends of some files. This makes sed happy. --- src/GF/Shell/HelpFile.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/GF/Shell') diff --git a/src/GF/Shell/HelpFile.hs b/src/GF/Shell/HelpFile.hs index 66de7a5ab..06528204b 100644 --- a/src/GF/Shell/HelpFile.hs +++ b/src/GF/Shell/HelpFile.hs @@ -720,4 +720,4 @@ txtHelpFile = "\n 'pg -utf8'." ++ "\n" ++ "\n-- *: Commands and options marked with * are not currently implemented." ++ - [] \ No newline at end of file + [] -- cgit v1.2.3