Fix link to repository after transfer to Coq organization.

coq · Sep 2, 2024 · cceeae4 · cceeae4
1 parent 8e8f6b1
commit cceeae4
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/index.html b/src/index.html
@@ -11,7 +11,7 @@ <h1>Coq Platform Docs - Demo</h1>
 
     <div style="text-align:left">
         <img src="images/github-mark.png" height="25" style="border:0px">
-        <a href="https://github.com/Zimmi48/platform-docs">
+        <a href="https://github.com/coq/platform-docs">
             View Coq-Platform-Doc
         </a>
         <img src="images/github-mark.png" height="25" style="border:0px">