Add /metarocq link

mattam82 · mattam82 · commit 86fa9fe98949 · 2025-03-26T14:35:38.000+01:00
diff --git a/metarocq.md b/metarocq.md
@@ -0,0 +1,4 @@
+---
+permalink: /metarocq
+redirect_to: 'https://metarocq.github.io'
+---

-Original file line number
+Diff line change
@@ @@ -0,0 +1,4 @@ @@
 +---
 +permalink: /metarocq
 +redirect_to: 'https://metarocq.github.io'
 +---