From c524232f734de875d69e2f190f01a6c976024368 Mon Sep 17 00:00:00 2001 From: Gard Spreemann Date: Thu, 14 Jun 2018 20:39:01 +0200 Subject: GUDHI 2.2.0 as released by upstream in a tarball. --- doc/common/header.html | 111 +++++++++++++++++++++++++------------------------ 1 file changed, 56 insertions(+), 55 deletions(-) (limited to 'doc/common/header.html') diff --git a/doc/common/header.html b/doc/common/header.html index 9c514381..f8b13ec4 100644 --- a/doc/common/header.html +++ b/doc/common/header.html @@ -9,7 +9,7 @@ $projectname: $title $title - + @@ -24,60 +24,61 @@ $extrastylesheet -- cgit v1.2.3