From ebbc0a3e806f2df19a74b3f7a1d3575476c3237b Mon Sep 17 00:00:00 2001
From: "kr.angelov" <kr.angelov@chalmers.se>
Date: Thu, 22 May 2008 14:32:49 +0000
Subject: move GF.Devel.GF to GF

---
 src-3.0/GF/Devel/GF.hs | 14 --------------
 1 file changed, 14 deletions(-)
 delete mode 100644 src-3.0/GF/Devel/GF.hs

(limited to 'src-3.0/GF')

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