From 1b62998c967a89a7a8858bd8d011dd2c041203ba Mon Sep 17 00:00:00 2001 From: Peter Dimov Date: Fri, 22 Feb 2019 19:21:04 +0200 Subject: [PATCH] Add index.html --- index.html | 15 +++++++++++++++ 1 file changed, 15 insertions(+) create mode 100644 index.html diff --git a/index.html b/index.html new file mode 100644 index 0000000..514069b --- /dev/null +++ b/index.html @@ -0,0 +1,15 @@ + + + + + +Automatic redirection failed, please go to +doc/html/variant2.html. + + +