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/offline_header.html | 41 +++++++++++++++++++++++++++++++++++++++++ 1 file changed, 41 insertions(+) create mode 100644 doc/common/offline_header.html (limited to 'doc/common/offline_header.html') diff --git a/doc/common/offline_header.html b/doc/common/offline_header.html new file mode 100644 index 00000000..6a02a895 --- /dev/null +++ b/doc/common/offline_header.html @@ -0,0 +1,41 @@ + + + + + + + + +$projectname: $title +$title + + + + +$treeview +$search +$mathjax + +$extrastylesheet + + + + +
+ + +
+ + + + + + + + + + +
$searchbox
+
+ + -- cgit v1.2.3