diff options
author | Gard Spreemann <gspreemann@gmail.com> | 2018-09-09 21:48:33 +0200 |
---|---|---|
committer | Gard Spreemann <gspreemann@gmail.com> | 2018-09-09 21:48:33 +0200 |
commit | 837ebff38036ad0ab3a29da9de879046f1c20ddb (patch) | |
tree | 87a58a01bbdbfe1ea4cc821ea2ee61bf0782c8c0 /doc/common/header.html | |
parent | 5bbe0dbb9faad7d4d9ffca7e819e9faa477fb5c6 (diff) | |
parent | a2e642954ae39025e041471d486ecbac25dff440 (diff) |
Merge branch 'dfsg/latest' into debian/sid
Diffstat (limited to 'doc/common/header.html')
-rw-r--r-- | doc/common/header.html | 2 |
1 files changed, 1 insertions, 1 deletions
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> |