From 6969800192ae2e34974f44ff616375991e866aef Mon Sep 17 00:00:00 2001 From: Felix Roos Date: Sat, 9 Dec 2023 17:23:24 +0100 Subject: [PATCH] fix: update button bug --- 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 5e991f8a..b6f13060 100644 --- a/website/src/repl/Header.jsx +++ b/website/src/repl/Header.jsx @@ -87,7 +87,7 @@ export function Header({ context }) { )}