Moved main site to main/, created non-free/
[www.git] / doctype.txt
diff --git a/doctype.txt b/doctype.txt
deleted file mode 100755 (executable)
index 54d1f40..0000000
+++ /dev/null
@@ -1 +0,0 @@
-<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01//EN" "http://www.w3.org/TR/html4/strict.dtd">