diff options
| author | hallgren <hallgren@chalmers.se> | 2017-02-10 12:14:22 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2017-02-10 12:14:22 +0000 |
| commit | de6c897bd31566409b365ba49f2acb9d5797d6d7 (patch) | |
| tree | dd507f6af517ba5a0acd079a3b484c091c053d98 /index.html | |
| parent | 011d2a44b8f8cd509a10c191d7a1e349440479da (diff) | |
GF home page: comment out the "GF build status" link
Gregoire's Jenkins server has been down since last summer...
Diffstat (limited to 'index.html')
| -rw-r--r-- | index.html | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/index.html b/index.html index 16d6cae6e..ef3fb78b0 100644 --- a/index.html +++ b/index.html @@ -76,10 +76,12 @@ function sitesearch() { <div class=links> <h4>Develop GF</h4> <ul> + <!-- <li><a href="http://ci.zjyto.net/job/GF/job/Build/"><img src="http://ci.zjyto.net/job/GF/job/Build/badge/icon" alt="GF build status"></a> + --> <li><a href="doc/gf-developers.html">GF Developers Guide</a> <li><A HREF="https://github.com/GrammaticalFramework/GF/">GitHub mirror</A> - <li><A HREF="https://github.com/GrammaticalFramework/gf-contrib/">contibutions GitHub</A> + <li><A HREF="https://github.com/GrammaticalFramework/gf-contrib/">Contibutions GitHub</A> <li><A HREF="http://code.google.com/p/grammatical-framework/wiki/SideBar?tm=6">Wiki</A> <li><a href="/~hallgren/gf-experiment/browse/">Browse Source Code</a> <li><A HREF="doc/gf-people.html">Authors</A> |