header.html is still used by about.html and instructions.html
authortridge <tridge@1e5ffdc8-eadd-0310-9daa-9cb4117fe24b>
Tue, 20 Feb 2007 23:37:41 +0000 (23:37 +0000)
committertridge <tridge@1e5ffdc8-eadd-0310-9daa-9cb4117fe24b>
Tue, 20 Feb 2007 23:37:41 +0000 (23:37 +0000)
git-svn-id: file:///home/svn/build-farm/trunk@542 1e5ffdc8-eadd-0310-9daa-9cb4117fe24b

web/header.html [new file with mode: 0644]

diff --git a/web/header.html b/web/header.html
new file mode 100644 (file)
index 0000000..b5704da
--- /dev/null
@@ -0,0 +1,5 @@
+<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN"
+    "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
+<html xmlns="http://www.w3.org/1999/xhtml">
+
+<head>