From de6c897bd31566409b365ba49f2acb9d5797d6d7 Mon Sep 17 00:00:00 2001 From: hallgren Date: Fri, 10 Feb 2017 12:14:22 +0000 Subject: [PATCH] GF home page: comment out the "GF build status" link Gregoire's Jenkins server has been down since last summer... --- index.html | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/index.html b/index.html index 16d6cae6e..ef3fb78b0 100644 --- a/index.html +++ b/index.html @@ -76,10 +76,12 @@ function sitesearch() {