From cf8f9d64c8095b033a20019233d85f20c02f49b1 Mon Sep 17 00:00:00 2001
From: Simon Howard <fraggle@gmail.com>
Date: Tue, 9 May 2006 16:44:39 +0000
Subject: [PATCH] Remove sourceforge-related files.

---
 HEADER.html | 2 --
 status      | 1 -
 2 files changed, 3 deletions(-)
 delete mode 100644 HEADER.html
 delete mode 120000 status

diff --git a/HEADER.html b/HEADER.html
deleted file mode 100644
index e8a97dd1..00000000
--- a/HEADER.html
+++ /dev/null
@@ -1,2 +0,0 @@
-<h1>deutex tree</h1>
-<p>Confused? Better head back to <a href="/">the main page</a>.</p>
diff --git a/status b/status
deleted file mode 120000
index 941b830d..00000000
--- a/status
+++ /dev/null
@@ -1 +0,0 @@
-../status
\ No newline at end of file