diff options
| author | krangelov <kr.angelov@gmail.com> | 2021-09-22 14:11:27 +0200 |
|---|---|---|
| committer | krangelov <kr.angelov@gmail.com> | 2021-09-22 14:11:27 +0200 |
| commit | e4b2f281d97f97317df37b5e296cea371c334f37 (patch) | |
| tree | 8fa7f7a4b47a85f6269f4a734cb8414dccde60f5 /src/programs/gf-main.hs | |
| parent | 063c517f3c99aa34ebf5ce25a97d85bb05d7abe4 (diff) | |
| parent | bedb46527daa99125f103b87e9fdf8e3cbe9d98b (diff) | |
Merge branch 'master' of github.com:GrammaticalFramework/gf-core
Diffstat (limited to 'src/programs/gf-main.hs')
| -rw-r--r-- | src/programs/gf-main.hs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/programs/gf-main.hs b/src/programs/gf-main.hs index 1dae54bc7..cf387d2fa 100644 --- a/src/programs/gf-main.hs +++ b/src/programs/gf-main.hs @@ -1,3 +1,5 @@ +module Main where + import qualified GF main = GF.main |