diff --git a/index.html b/index.html new file mode 100644 index 0000000..6762371 --- /dev/null +++ b/index.html @@ -0,0 +1,35 @@ + + + +
+ + ++ Automatic redirection failed, please go to + ../../doc/html/type_index.html +
++ © 2014 Antony Polukhin +
+ +