diff options
| -rw-r--r-- | index.html | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/index.html b/index.html index 123c65438..78d263be5 100644 --- a/index.html +++ b/index.html @@ -71,7 +71,6 @@ function sitesearch() { <div class=links> <h4>Develop GF</h4> <ul> - <li><a href="https://travis-ci.org/GrammaticalFramework/gf-core"><img src="https://travis-ci.org/GrammaticalFramework/gf-core.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 on GitHub</A> <li><a href="/~hallgren/gf-experiment/browse/">Browse Source Code</a> |