From c5cd4821cd496e76a5824c5df30e31d0f5965785 Mon Sep 17 00:00:00 2001 From: vrouvrea Date: Wed, 13 Jun 2018 07:39:21 +0000 Subject: Rollback these commit (was just for beta version documentation website) git-svn-id: svn+ssh://scm.gforge.inria.fr/svnroot/gudhi/trunk@3602 636b058d-ea47-450e-bf9e-a15bfbe3eedb Former-commit-id: c0182e445f444bbf1add347dac217322262db033 --- src/common/doc/header.html | 34 +++++++++++++++++----------------- 1 file changed, 17 insertions(+), 17 deletions(-) (limited to 'src/common') diff --git a/src/common/doc/header.html b/src/common/doc/header.html index 56833d39..4661dbbe 100644 --- a/src/common/doc/header.html +++ b/src/common/doc/header.html @@ -27,7 +27,7 @@ $extrastylesheet