From ef5c01b599c6a6b23b1f3e92736ec67a6e62b55f Mon Sep 17 00:00:00 2001
From: Gard Spreemann <gspreemann@gmail.com>
Date: Wed, 5 Sep 2018 12:52:26 +0200
Subject: GUDHI 2.3.0 as released by upstream in a tarball.

---
 doc/common/header.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'doc/common/header.html')

diff --git a/doc/common/header.html b/doc/common/header.html
index f8b13ec4..c12d2816 100644
--- a/doc/common/header.html
+++ b/doc/common/header.html
@@ -9,7 +9,7 @@
 <!--BEGIN PROJECT_NAME--><title>$projectname: $title</title><!--END PROJECT_NAME-->
 <!--BEGIN !PROJECT_NAME--><title>$title</title><!--END !PROJECT_NAME-->
 <!-- GUDHI website css for header BEGIN -->
-<link rel="stylesheet" type="text/css" href="http://gudhi.gforge.inria.fr/assets/css/styles_feeling_responsive.css" />
+<link rel="stylesheet" type="text/css" href="https://gudhi.inria.fr/assets/css/styles_feeling_responsive.css" />
 <!-- GUDHI website css for header END -->
 <link href="$relpath^tabs.css" rel="stylesheet" type="text/css"/>
 <script type="text/javascript" src="$relpath^jquery.js"></script>
-- 
cgit v1.2.3