From e3b0f47c4026b958e523dc3b30266954db5565e1 Mon Sep 17 00:00:00 2001
From: Felix Roos <flix91@gmail.com>
Date: Thu, 12 Jan 2023 02:15:42 +0100
Subject: [PATCH] hide internals for now

---
 website/src/config.ts | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/website/src/config.ts b/website/src/config.ts
index 488b530e..392811dd 100644
--- a/website/src/config.ts
+++ b/website/src/config.ts
@@ -75,7 +75,7 @@ export const SIDEBAR: Sidebar = {
       { text: 'REPL', link: 'technical-manual/repl' },
       { text: 'Docs', link: 'technical-manual/docs' },
       { text: 'Testing', link: 'technical-manual/testing' },
-      { text: 'Internals', link: 'technical-manual/internals' },
+      // { text: 'Internals', link: 'technical-manual/internals' },
     ],
   },
 };