diff options
| author | Inari Listenmaa <inari.listenmaa@gmail.com> | 2017-06-29 20:14:32 +0200 |
|---|---|---|
| committer | Inari Listenmaa <inari.listenmaa@gmail.com> | 2017-06-29 20:14:32 +0200 |
| commit | 899dba88b7fdde748cc10443b3d0fdb3584874e4 (patch) | |
| tree | efcf3aaf8673e71ec6a251a4a90d86408065d67c /gf.cabal | |
| parent | 3464e912c11be114ca9694f896746feb0c9ea42c (diff) | |
| parent | ff82b0980bc7912ab8d79ebc4428c87e58109f2d (diff) | |
Merge branch 'master' of https://github.com/GrammaticalFramework/GF
Diffstat (limited to 'gf.cabal')
| -rw-r--r-- | gf.cabal | 9 |
1 files changed, 6 insertions, 3 deletions
@@ -42,10 +42,13 @@ data-files: tools/gf.el www/translator/*.css www/translator/*.js -source-repository head - type: darcs - location: http://www.grammaticalframework.org/ +--source-repository head +-- type: darcs +-- location: http://www.grammaticalframework.org/ +source-repository head + type: git + location: https://github.com/GrammaticalFramework/GF.git flag interrupt Description: Enable Ctrl+Break in the shell |