<!DOCTYPE html> <html> <head> <meta charset="utf-8"> <title>Redirecting</title> <noscript> <meta http-equiv="refresh" content="1; url=../../../prerelease/design/git-submodules/" /> </noscript> <script> window.location.replace( "../../../prerelease/design/git-submodules/" + window.location.search + window.location.hash ); </script> </head> <body> Redirecting to <a href="../../../prerelease/design/git-submodules/">../../../prerelease/design/git-submodules/</a>... </body> </html>