Deployed 5aff68b5 to 0.29.3 with ProperDocs 1.6.7 and mike 2.2.0

This commit is contained in:
github-actions
2026-07-29 12:38:40 +00:00
parent 3aecbafbc4
commit d65ca4e07d
105 changed files with 1210 additions and 6 deletions
+14
View File
@@ -0,0 +1,14 @@
<!doctype html>
<html lang="en">
<head>
<meta charset="utf-8">
<title>Redirecting...</title>
<link rel="canonical" href="../api/#grpc">
<script>var anchor=window.location.hash.substr(1);location.href="../api/#grpc"+(anchor?"#"+anchor:"")</script>
<meta http-equiv="refresh" content="0; url=../api/#grpc">
</head>
<body>
You're being redirected to a <a href="../api/#grpc">new destination</a>.
</body>
</html>