diff options
| author | John J. Camilleri <john@digitalgrammars.com> | 2018-11-28 14:47:20 +0100 |
|---|---|---|
| committer | John J. Camilleri <john@digitalgrammars.com> | 2018-11-28 14:47:20 +0100 |
| commit | 6352799ccb7d7b9c7d006fd1149b1a977f78e9b3 (patch) | |
| tree | b4db91f52d0c0777be3ff92ca1beb3b8c0bab91c /src/tools/gf-tools.cabal | |
| parent | b1611eccd82fa28d3a701a87291dc8d83537071e (diff) | |
| parent | a45c735545052501e53ecccfa33d0c3e42cc25fd (diff) | |
Merge branch 'master' into new-website
# Conflicts:
# index.html
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 |