From 71a107e3dfbbd7d42a74ab63bfbfb451c43bbd19 Mon Sep 17 00:00:00 2001 From: Christian Grothoff Date: Sun, 7 Jul 2019 20:30:38 +0200 Subject: update index page --- doc/handbook/index.html | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'doc') diff --git a/doc/handbook/index.html b/doc/handbook/index.html index 857baa7d4..1540e8060 100644 --- a/doc/handbook/index.html +++ b/doc/handbook/index.html @@ -24,7 +24,7 @@