From ca0eb7f8877bfd4b4989690653bc3bb056f308de Mon Sep 17 00:00:00 2001
From: Cody Boone Ferguson <53008573+xexyl@users.noreply.github.com>
Date: Mon, 6 Mar 2023 05:51:54 -0800
Subject: [PATCH] Get rid of useless main.html file

---
 main.html | 9 ---------
 1 file changed, 9 deletions(-)
 delete mode 100644 main.html

diff --git a/main.html b/main.html
deleted file mode 100644
index 787fe9701..000000000
--- a/main.html
+++ /dev/null
@@ -1,9 +0,0 @@
-<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN">
-<html>
-<head>
-<title>IOCCC Main</title>
-<meta http-equiv="REFRESH" content="0;url=index.html"></HEAD>
-<BODY>
-Your browser should have redirected you to <A HREF="index.html">here</A>
-</BODY>
-</HTML>