diff options
Diffstat (limited to 'doc/ex/index.html')
| -rw-r--r-- | doc/ex/index.html | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/doc/ex/index.html b/doc/ex/index.html new file mode 100644 index 000000000..bf4fe4e3f --- /dev/null +++ b/doc/ex/index.html @@ -0,0 +1,8 @@ +<!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>
|