From 9899ae167f281d10b1684dfcd02c6838c5bf28df Mon Sep 17 00:00:00 2001 From: Gard Spreemann Date: Fri, 2 Feb 2018 13:51:45 +0100 Subject: GUDHI 2.1.0 as released by upstream in a tarball. --- doc/common/header.html | 4 ++++ 1 file changed, 4 insertions(+) (limited to 'doc/common/header.html') diff --git a/doc/common/header.html b/doc/common/header.html index 53b5c0a2..9c514381 100644 --- a/doc/common/header.html +++ b/doc/common/header.html @@ -56,6 +56,8 @@ $extrastylesheet
  • @@ -66,6 +68,8 @@ $extrastylesheet
  • C++ installation manual
  • Python documentation
  • Python installation manual
  • +
  • Utilities
  • +
  • Tutorial
  • -- cgit v1.2.3