diff options
Diffstat (limited to 'libs/index.html')
| -rw-r--r-- | libs/index.html | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/libs/index.html b/libs/index.html new file mode 100644 index 0000000000..76bf170eff --- /dev/null +++ b/libs/index.html @@ -0,0 +1,9 @@ +<html> +<head> +<meta http-equiv="refresh" content="0; URL=libraries.html"> +</head> +<body> +Automatic redirection failed, please go to +<a href="libraries.html">libraries.html</a>. +</body> +</html> |