1448a41263
This allows us to use '.md' extensions in links (#1506), and the formatting is a bit nicer and closer to how GitHub renders. WIP WIP WIP WIP
19 lines
799 B
HTML
19 lines
799 B
HTML
<!DOCTYPE HTML>
|
|
<!-- This file exists only to redirect from old Sphinx URLs to new MkDocs URLs.
|
|
This is more properly done using an HTTP redirect, but unfortunately
|
|
readthedocs.org's page redirection is broken (see
|
|
https://github.com/rtfd/readthedocs.org/issues/1826). Once that bug is fixed,
|
|
this file, and its reference in mkdocs.yml, can be removed. -->
|
|
<html lang="en-US">
|
|
<head>
|
|
<meta charset="UTF-8">
|
|
<meta http-equiv="refresh" content="1;url=ChangeLog/">
|
|
<script type="text/javascript">
|
|
window.location.href = "ChangeLog/" + window.location.hash
|
|
</script>
|
|
<title>Page Redirection</title>
|
|
</head>
|
|
<body>
|
|
If you are not redirected automatically, follow the <a href="ChangeLog/'>link to ChangeLog/</a>.
|
|
</body>
|
|
</html>
|