Deployed d7150755 to development with ProperDocs 1.6.7 and mike 2.2.0

This commit is contained in:
github-actions
2026-06-19 16:53:08 +00:00
parent c1a6d2eeb5
commit 9dbf4f008b
62 changed files with 86 additions and 68 deletions
+4 -4
View File
@@ -4,11 +4,11 @@
<head>
<meta charset="utf-8">
<title>Redirecting...</title>
<link rel="canonical" href="../ref/api/#grpc">
<script>var anchor=window.location.hash.substr(1);location.href="../ref/api/#grpc"+(anchor?"#"+anchor:"")</script>
<meta http-equiv="refresh" content="0; url=../ref/api/#grpc">
<link rel="canonical" href="../ref/api/#remote-control">
<script>var anchor=window.location.hash.substr(1);location.href="../ref/api/#remote-control"+(anchor?"#"+anchor:"")</script>
<meta http-equiv="refresh" content="0; url=../ref/api/#remote-control">
</head>
<body>
You're being redirected to a <a href="../ref/api/#grpc">new destination</a>.
You're being redirected to a <a href="../ref/api/#remote-control">new destination</a>.
</body>
</html>