diff options
Diffstat (limited to 'index.html')
| -rw-r--r-- | index.html | 7 |
1 files changed, 2 insertions, 5 deletions
diff --git a/index.html b/index.html index f00aaabee..a3167c05a 100644 --- a/index.html +++ b/index.html @@ -71,12 +71,9 @@ 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="https://travis-ci.org/GrammaticalFramework/GF"><img src="https://travis-ci.org/GrammaticalFramework/GF.svg?branch=master" alt="GF build status"></a> <li><a href="doc/gf-developers.html">GF Developers Guide</a> - <li><A HREF="https://github.com/GrammaticalFramework/GF/">GF on GitHub</A> - <li><A HREF="https://github.com/GrammaticalFramework/gf-contrib/">Contributions GitHub</A> + <li><A HREF="https://github.com/GrammaticalFramework/">GF on GitHub</A> <li><a href="/~hallgren/gf-experiment/browse/">Browse Source Code</a> <li><A HREF="doc/gf-people.html">Authors</A> </ul> |