diff options
| author | kr.angelov <kr.angelov@chalmers.se> | 2008-05-22 14:32:49 +0000 |
|---|---|---|
| committer | kr.angelov <kr.angelov@chalmers.se> | 2008-05-22 14:32:49 +0000 |
| commit | ebbc0a3e806f2df19a74b3f7a1d3575476c3237b (patch) | |
| tree | 75cee427000925ef11ca42f78a1abe232b64342b /src-3.0/GF | |
| parent | 35296a555d26a4721ffabe7994d59809c63ec93c (diff) | |
move GF.Devel.GF to GF
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 - |