GitHub/gf-core
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-core.git synced 2026-04-09 04:59:31 -06:00
Code Issues Packages Projects Releases Wiki Activity

gf.cabal: update the source repository to point to the GitHub repository

Browse Source
This commit is contained in:
Thomas Hallgren
2017-06-29 14:51:27 +02:00
parent 3464e912c1
commit 1ada3fc522
1 changed files with 6 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

9
gf.cabal
View File

@@ -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