From dea4e905bf9bf6dfed33282df62f7dab34ab36f6 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Jo=C3=A3o=20Louren=C3=A7o?= <jrelourenco@outlook.pt>
Date: Mon, 15 May 2023 18:00:39 +0000
Subject: [PATCH] docs: allow Zod to be used in dev tools at site

---
 index.html | 1 +
 1 file changed, 1 insertion(+)

diff --git a/index.html b/index.html
index daae856cd..fa98270f0 100644
--- a/index.html
+++ b/index.html
@@ -256,5 +256,6 @@
           .prepend(document.querySelector(".theme-btn"));
       });
     </script>
+    <script src="https://www.unpkg.com/zod/lib/index.umd.js"></script>
   </body>
 </html>