diff --git a/index.html b/index.html new file mode 100755 index 0000000..c215f0c --- /dev/null +++ b/index.html @@ -0,0 +1,10 @@ + + + + + +Automatic redirection failed, please go to +../../doc/html/typeof.html + + +