diff options
Diffstat (limited to '')
| -rw-r--r-- | src/rocksdb/docs/_layouts/redirect.html | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/rocksdb/docs/_layouts/redirect.html b/src/rocksdb/docs/_layouts/redirect.html new file mode 100644 index 000000000..c24f81748 --- /dev/null +++ b/src/rocksdb/docs/_layouts/redirect.html @@ -0,0 +1,6 @@ +<html> +<head> + <meta http-equiv="refresh" content="0; {{ page.destination }}"> +</head> +<body></body> +</html> |