Add /compat

PlutoLang · Nov 11, 2023 · cdc1bb2 · cdc1bb2
1 parent 6740151
commit cdc1bb2
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/compat.html b/compat.html
@@ -0,0 +1 @@
+<meta http-equiv="refresh" content="0;url=https://pluto-lang.org/docs/Compatibility">