From 51cc69208f0254877a2f4596767e3254e51fea64 Mon Sep 17 00:00:00 2001 From: Felix Roos Date: Fri, 9 Jun 2023 00:25:14 +0200 Subject: [PATCH] fix: repl link to docs was old --- website/src/repl/Header.jsx | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/website/src/repl/Header.jsx b/website/src/repl/Header.jsx index 213e336e..53623466 100644 --- a/website/src/repl/Header.jsx +++ b/website/src/repl/Header.jsx @@ -122,7 +122,7 @@ export function Header({ context }) { {!isEmbedded && (