diff options
| -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> |