From c23eee17fb16dd3d6229184aac95d57d04f93275 Mon Sep 17 00:00:00 2001 From: vrouvrea Date: Wed, 19 Apr 2017 20:19:35 +0000 Subject: Fix doc issue git-svn-id: svn+ssh://scm.gforge.inria.fr/svnroot/gudhi/trunk@2368 636b058d-ea47-450e-bf9e-a15bfbe3eedb Former-commit-id: aa8997eb2c66b9b25206688acc5819f2ded0e985 --- src/common/doc/header.html | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'src/common/doc/header.html') diff --git a/src/common/doc/header.html b/src/common/doc/header.html index 94e641b2..53b5c0a2 100644 --- a/src/common/doc/header.html +++ b/src/common/doc/header.html @@ -64,8 +64,8 @@ $extrastylesheet
  • -- cgit v1.2.3