Use http instead of https in the links to the build job in jenkins

The ci.zjyto.net web site uses an SSL certificate that is not recognized by
mainstream browsers (e.g. Firefox, Safari and the Android web browser).
This commit is contained in:
hallgren
2014-10-17 08:26:09 +00:00
parent 2caf6fa125
commit 955c4b6a23

View File

@@ -71,7 +71,7 @@ function sitesearch() {
<div class=links>
<h4>Develop GF</h4>
<ul>
<li><a href="https://ci.zjyto.net/job/GF/job/Build/"><img src="https://ci.zjyto.net/job/GF/job/Build/badge/icon" alt="GF build status"></a>
<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="http://code.google.com/p/grammatical-framework/wiki/SideBar?tm=6">Wiki</A>