diff options
| author | Krasimir Angelov <kr.angelov@gmail.com> | 2018-11-28 14:25:53 +0100 |
|---|---|---|
| committer | Krasimir Angelov <kr.angelov@gmail.com> | 2018-11-28 14:25:53 +0100 |
| commit | 69ad1e617ed9e40d52b1ec2c4b383879c5d622f2 (patch) | |
| tree | 3c2ee73bf27a65828f508012756ff3ac27026251 /src/tools/gf-tools.cabal | |
| parent | eb2774af2b516a37a30fceff96a161f72450a356 (diff) | |
| parent | 9b28d21b0a6579d5b97367f5bba3181e04500242 (diff) | |
Merge branch 'master' of https://github.com/GrammaticalFramework/gf-core
Diffstat (limited to 'src/tools/gf-tools.cabal')
| -rw-r--r-- | src/tools/gf-tools.cabal | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/src/tools/gf-tools.cabal b/src/tools/gf-tools.cabal index 1f89f3a85..f8a9a1cde 100644 --- a/src/tools/gf-tools.cabal +++ b/src/tools/gf-tools.cabal @@ -6,7 +6,3 @@ cabal-version: >= 1.8 Executable gfdoc main-is: GFDoc.hs build-depends: base, directory>=1.2, time>=1.5, process - -Executable htmls - main-is: Htmls.hs - build-depends: base
\ No newline at end of file |