From 1ca54cca208876f83014119da55e747d5342b434 Mon Sep 17 00:00:00 2001
From: aarne <unknown>
Date: Wed, 28 Jan 2004 12:42:20 +0000
Subject:  Unicode. Batch transl into HTML.

---
 src/GF/Shell.hs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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

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
-- 
cgit v1.2.3