diff options
Diffstat (limited to 'src/GF/Shell')
| -rw-r--r-- | src/GF/Shell/HelpFile.hs | 2 |
1 files changed, 1 insertions, 1 deletions
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 + [] |