From d2fc784060c12607826b02562137fec5b08c761a Mon Sep 17 00:00:00 2001 From: Felix Roos Date: Thu, 21 Mar 2024 07:30:05 +0100 Subject: [PATCH] delete astro favicon --- website/astro.config.mjs | 2 +- website/public/favicon.svg | 13 ------------- 2 files changed, 1 insertion(+), 14 deletions(-) delete mode 100644 website/public/favicon.svg diff --git a/website/astro.config.mjs b/website/astro.config.mjs index 591f9a5e..6389debb 100644 --- a/website/astro.config.mjs +++ b/website/astro.config.mjs @@ -97,7 +97,7 @@ export default defineConfig({ enabled: false, }, manifest: { - includeAssets: ['favicon.ico', 'icons/apple-icon-180.png', 'favicon.svg'], + includeAssets: ['favicon.ico', 'icons/apple-icon-180.png'], name: 'Strudel REPL', short_name: 'Strudel', description: diff --git a/website/public/favicon.svg b/website/public/favicon.svg deleted file mode 100644 index 0f390629..00000000 --- a/website/public/favicon.svg +++ /dev/null @@ -1,13 +0,0 @@ - - - - - - - - - - -