From 2bafdc2bf57d3e521c8f82ca87cccfb25f6249c2 Mon Sep 17 00:00:00 2001 From: Christian Grothoff Date: Fri, 11 Sep 2020 21:25:32 +0200 Subject: update index --- doc/index.html | 9 +++++---- 1 file changed, 5 insertions(+), 4 deletions(-) (limited to 'doc/index.html') diff --git a/doc/index.html b/doc/index.html index 827c04a71..93c0e7d9e 100644 --- a/doc/index.html +++ b/doc/index.html @@ -26,7 +26,7 @@