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