diff options
| author | aarne <unknown> | 2004-01-28 12:42:20 +0000 |
|---|---|---|
| committer | aarne <unknown> | 2004-01-28 12:42:20 +0000 |
| commit | 1ca54cca208876f83014119da55e747d5342b434 (patch) | |
| tree | 63413b08d9e26f3a55f82c2da9dcb0c5eef1d06d /src/GF/Shell.hs | |
| parent | 1b002dec90ce2b080301f54a8f84a91ca6669879 (diff) | |
Unicode. Batch transl into HTML.
Diffstat (limited to 'src/GF/Shell.hs')
| -rw-r--r-- | src/GF/Shell.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/GF/Shell.hs b/src/GF/Shell.hs index dba4e1823..352f220d9 100644 --- a/src/GF/Shell.hs +++ b/src/GF/Shell.hs @@ -13,7 +13,7 @@ import API import IOGrammar import Compile ---- import GFTex ------import TeachYourself -- also a subshell +---- import TeachYourself -- also a subshell import ShellState import Option |