From b9caaa8e4b66817dbc66d0e79b567b3285869fea Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sat, 7 Feb 2004 19:31:13 +0000
Subject: Deleted file

---
 html/doc | 5 -----
 1 file changed, 5 deletions(-)
 delete mode 100644 html/doc

(limited to 'html/doc')

diff --git a/html/doc b/html/doc
deleted file mode 100644
index a58717d8..00000000
--- a/html/doc
+++ /dev/null
@@ -1,5 +0,0 @@
-<?php include('index.php'); ?>
-<?php 
-  /* This file needs some extra characters in it for apache to work its magic.
-     Things work fine as link to index.html, but it's tricky to include links 
-     in cvs. */ ?>
\ No newline at end of file
-- 
cgit v1.2.3