From d3f61f831a482efd01ccbe82e65447fbb9233ae7 Mon Sep 17 00:00:00 2001 From: Xander Grzywinski Date: Tue, 2 May 2023 15:00:30 -0700 Subject: [PATCH] docs: remove old redirect for website (#2729) MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Signed-off-by: Xander Grzywinski Co-authored-by: Sertaç Özercan <852750+sozercan@users.noreply.github.com> --- website/static/index.html | 18 ------------------ 1 file changed, 18 deletions(-) delete mode 100644 website/static/index.html diff --git a/website/static/index.html b/website/static/index.html deleted file mode 100644 index 7233fb17697..00000000000 --- a/website/static/index.html +++ /dev/null @@ -1,18 +0,0 @@ - - - - - - - - Gatekeeper - - - - If you are not redirected automatically, follow this - link. - - - \ No newline at end of file