From 65282bf5ea11f1f8304f0274719031e3deef4649 Mon Sep 17 00:00:00 2001 From: "Jade (Rose) Rowland" Date: Mon, 24 Feb 2025 22:26:22 -0500 Subject: [PATCH] lint --- website/src/repl/components/Header.jsx | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/website/src/repl/components/Header.jsx b/website/src/repl/components/Header.jsx index 20b4aca4..2963a5f9 100644 --- a/website/src/repl/components/Header.jsx +++ b/website/src/repl/components/Header.jsx @@ -16,14 +16,13 @@ export function Header({ context, embedded = false }) { return (