diff --git a/gf.cabal b/gf.cabal index 966153d1c..669035a92 100644 --- a/gf.cabal +++ b/gf.cabal @@ -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 diff --git a/index.html b/index.html index 51954f730..182033787 100644 --- a/index.html +++ b/index.html @@ -46,7 +46,8 @@ function sitesearch() { @@ -119,6 +120,7 @@ document.write('
GitHub! 2017-03-13:GF Summer School in Riga (Latvia), 14-25 August 2017 Summer School web page.