From 0527dbaddf367b760cf1298c73bf489da5e87dec Mon Sep 17 00:00:00 2001 From: Pascal Hertleif Date: Thu, 3 Aug 2017 21:17:44 +0200 Subject: [PATCH] Update URL in rendered docs Github ribbon [ci skip] --- util/gh-pages/index.html | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/util/gh-pages/index.html b/util/gh-pages/index.html index 04196eef3960..2cac5c6bcdef 100644 --- a/util/gh-pages/index.html +++ b/util/gh-pages/index.html @@ -94,7 +94,7 @@ - +