diff options
| author | aarne <unknown> | 2003-12-19 16:57:48 +0000 |
|---|---|---|
| committer | aarne <unknown> | 2003-12-19 16:57:48 +0000 |
| commit | 9127333575b4db850828ba9391649eeb5cb781a0 (patch) | |
| tree | 1f6704186c0586e16998bc2bbbad7dbda73676cf /src/GF/Shell | |
| parent | 08c9a2ab8cf7b77a5c0392f5f8e9643e39c89c5b (diff) | |
Starting Finnish for new API
Diffstat (limited to 'src/GF/Shell')
| -rw-r--r-- | src/GF/Shell/Commands.hs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/GF/Shell/Commands.hs b/src/GF/Shell/Commands.hs index c7b27c3ca..c15ad13ed 100644 --- a/src/GF/Shell/Commands.hs +++ b/src/GF/Shell/Commands.hs @@ -168,8 +168,8 @@ execCommand env c s = case c of return (env', state1) -} ----- CCEnvOn name -> return (languageOn (language name) env,s) ----- CCEnvOff name -> return (languageOff (language name) env,s) + CCEnvOn name -> return (env,s) ---- return (languageOn (language name) env,s) + CCEnvOff name -> return (env,s) ---- return (languageOff (language name) env,s) -- this command is improved by the use of IO CRefineRandom -> do |