Redirect Tools page to Primitive page

2025-03-17 11:04:09 +00:00
parent 4e3b897224
commit c8ca357050
1 changed files with 4 additions and 2 deletions
@@ -3,9 +3,11 @@ aside: false
 ---

 <script lang="ts" setup>
-
+  if (typeof window !== 'undefined') {
+    window.location.href = "/tools/primitives.html";
+  }
 </script>

 <!-- Resume Markdown parsing -->

-TODO: Once we have other tools, we might want to turn this into a page like that on Quick Start that presents a "box" of each Tool Group.
+<!--TODO: Once we have other tools, we might want to turn this into a page like that on Quick Start that presents a "box" of each Tool Group.-->