# HG changeset patch
# User haftmann
# Date 1117971948 -7200
# Node ID 5aba3dc670e87d50553004d2320c45a298131177
# Parent  4280d6bbc1bbb68ea3fd5b0d11d297637d016813
added authors

diff -r 4280d6bbc1bb -r 5aba3dc670e8 Admin/website/include/htmlheader.include.html
--- a/Admin/website/include/htmlheader.include.html	Sun Jun 05 11:57:14 2005 +0200
+++ b/Admin/website/include/htmlheader.include.html	Sun Jun 05 13:45:48 2005 +0200
@@ -16,5 +16,5 @@
     <link rel="icon" href="//dist/img/favicon.ico" type="image/icon"/>
     <meta name="language" content="en"/>
     <meta name="robots" content="index follow"/>
-    <meta name="author" content="Florian Haftmann" />
+    <meta name="author" content="Tobias Nipkow, Lawrence Paulson, Markus Wenzel, Gerwin Klein, Florian Haftmann" />
 </dummy:wrapper>
\ No newline at end of file