diff options
| author | vrouvrea <vrouvrea@636b058d-ea47-450e-bf9e-a15bfbe3eedb> | 2018-03-28 09:58:12 +0000 |
|---|---|---|
| committer | vrouvrea <vrouvrea@636b058d-ea47-450e-bf9e-a15bfbe3eedb> | 2018-03-28 09:58:12 +0000 |
| commit | 564427b6cad42ad98e9633589b128c07674c1dd6 (patch) | |
| tree | d40d02231fd7f2f8e3c502e1b17dd4bb91729544 /src/common/doc/header.html | |
| parent | 74d2aab913ce02ba1755ff4fc08e37e38cbb499a (diff) | |
Fix header that was not pointing on the correct web site. Cpp documentation header was not good
git-svn-id: svn+ssh://scm.gforge.inria.fr/svnroot/gudhi/trunk@3310 636b058d-ea47-450e-bf9e-a15bfbe3eedb
Former-commit-id: 520635bb2f09419b4b70f71c0838d45ae15354b3
Diffstat (limited to 'src/common/doc/header.html')
| -rw-r--r-- | src/common/doc/header.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/common/doc/header.html b/src/common/doc/header.html index d69b28fa..2f54e68d 100644 --- a/src/common/doc/header.html +++ b/src/common/doc/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://pages.saclay.inria.fr/vincent.rouvreau/gudhi/gudhi-doc-2.0.0/assets/css/styles_feeling_responsive.css" /> +<link rel="stylesheet" type="text/css" href="http://gudhi.gforge.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> |