From 75f7f4deacfe1a9782e23ba13bb0f6b9c953e3a8 Mon Sep 17 00:00:00 2001 From: Felix Roos Date: Wed, 23 Oct 2024 23:03:48 +0200 Subject: [PATCH] cleanup --- website/src/repl/components/Header.jsx | 4 ---- 1 file changed, 4 deletions(-) diff --git a/website/src/repl/components/Header.jsx b/website/src/repl/components/Header.jsx index f65dac68..c37494c6 100644 --- a/website/src/repl/components/Header.jsx +++ b/website/src/repl/components/Header.jsx @@ -1,7 +1,3 @@ -/* import AcademicCapIcon from '@heroicons/react/20/solid/AcademicCapIcon'; -import ArrowPathIcon from '@heroicons/react/20/solid/ArrowPathIcon'; -import LinkIcon from '@heroicons/react/20/solid/LinkIcon'; -import SparklesIcon from '@heroicons/react/20/solid/SparklesIcon'; */ import PlayCircleIcon from '@heroicons/react/20/solid/PlayCircleIcon'; import StopCircleIcon from '@heroicons/react/20/solid/StopCircleIcon'; import cx from '@src/cx.mjs';