summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorhallgren <hallgren@chalmers.se>2014-10-17 08:26:09 +0000
committerhallgren <hallgren@chalmers.se>2014-10-17 08:26:09 +0000
commit955c4b6a2381b3779067c0acd3af495152e9f2b8 (patch)
tree8ee3b1440dfe47781bc64600b27c4a8f1031b157
parent2caf6fa125f7f91a7a78b7f0699a43c2d922e687 (diff)
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).
-rw-r--r--index.html2
1 files changed, 1 insertions, 1 deletions
diff --git a/index.html b/index.html
index 249313dab..83fece65f 100644
--- a/index.html
+++ b/index.html
@@ -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>