diff options
Diffstat (limited to 'src/haddock/resources/blank.html')
| -rw-r--r-- | src/haddock/resources/blank.html | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/src/haddock/resources/blank.html b/src/haddock/resources/blank.html deleted file mode 100644 index 63ab0b172..000000000 --- a/src/haddock/resources/blank.html +++ /dev/null @@ -1,10 +0,0 @@ -<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 3.2 Final//EN">
-
-<!-- Time-stamp: "2005-02-03, 15:59" -->
-<HTML>
-<HEAD>
-<LINK HREF="haddock.css" REL=stylesheet>
-</HEAD>
-<BODY>
-</BODY>
-</HTML>
|