Deployed b902226 to v7.2.0 with MkDocs 1.4.2 and mike 1.1.2

This commit is contained in:
GitHub Action
2023-06-19 10:23:59 +00:00
parent c75dbd1079
commit ca30cd9783
62 changed files with 17802 additions and 31 deletions
+3 -3
View File
@@ -4,13 +4,13 @@
<meta charset="utf-8">
<title>Redirecting</title>
<noscript>
<meta http-equiv="refresh" content="1; url=../../v7.1.0/sophia_syntax/" />
<meta http-equiv="refresh" content="1; url=../../v7.2.0/sophia_syntax/" />
</noscript>
<script>
window.location.replace("../../v7.1.0/sophia_syntax/" + window.location.hash);
window.location.replace("../../v7.2.0/sophia_syntax/" + window.location.hash);
</script>
</head>
<body>
Redirecting to <a href="../../v7.1.0/sophia_syntax/">../../v7.1.0/sophia_syntax/</a>...
Redirecting to <a href="../../v7.2.0/sophia_syntax/">../../v7.2.0/sophia_syntax/</a>...
</body>
</html>