diff options
| author | Krasimir Angelov <kr.angelov@gmail.com> | 2018-06-20 13:06:15 +0200 |
|---|---|---|
| committer | Krasimir Angelov <kr.angelov@gmail.com> | 2018-06-20 13:06:15 +0200 |
| commit | d8eac259e4782c03be8b22274ee6025499457ab6 (patch) | |
| tree | d632ca03451a0ce630311a0404b7833e17f0b8e8 /index.html | |
| parent | 09d576f5b4b7c450ed41e86d5cc24557a1ffba11 (diff) | |
| parent | 485938103c6f9350575b79a4d4372c0b70439e04 (diff) | |
Merge branch 'master' of https://github.com/GrammaticalFramework/GF
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> |