diff options
Diffstat (limited to 'docs/index.html')
-rw-r--r-- | docs/index.html | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/docs/index.html b/docs/index.html deleted file mode 100644 index bf4fe4e3f..000000000 --- a/docs/index.html +++ /dev/null @@ -1,8 +0,0 @@ -<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
-<html>
- <head>
- <meta http-equiv="Refresh" content="0; URL=html/index.html">
- </head>
- <body>
- </body>
-</html>
|