diff options
Diffstat (limited to 'src-3.0/GF')
| -rw-r--r-- | src-3.0/GF/Devel/GF.hs | 14 |
1 files changed, 0 insertions, 14 deletions
diff --git a/src-3.0/GF/Devel/GF.hs b/src-3.0/GF/Devel/GF.hs deleted file mode 100644 index 70fddcd67..000000000 --- a/src-3.0/GF/Devel/GF.hs +++ /dev/null @@ -1,14 +0,0 @@ -module Main where - -import GF.Devel.GFC -import GF.Devel.GFI - -import System (getArgs) - -main :: IO () -main = do - xx <- getArgs - case xx of - "--batch":args -> mainGFC args - _ -> mainGFI xx - |