Minor Fix: Corrected spelling of "Hereth Correia" at some places.

keinstein · May 17, 2007 · 939c865 · 939c865
1 parent 46e12e2
commit 939c865
Show file tree

Hide file tree

Showing 3 changed files with 13 additions and 2 deletions.
diff --git a/.project b/.project
@@ -0,0 +1,11 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<projectDescription>
+	<name>conexp</name>
+	<comment></comment>
+	<projects>
+	</projects>
+	<buildSpec>
+	</buildSpec>
+	<natures>
+	</natures>
+</projectDescription>
diff --git a/src/conexp/frontend/resources/AboutConExp.html b/src/conexp/frontend/resources/AboutConExp.html
@@ -13,7 +13,7 @@ <H2> Contributors </H2>
 
 <H2> Documentation team </H2>
 <UL>
-    <LI> Joachim Herreth-Correia </LI>
+    <LI> Joachim Hereth Correia </LI>
     <LI> Heiko Reppe </LI>
 </UL>
 

diff --git a/website/content/xdocs/acknowledgements.xml b/website/content/xdocs/acknowledgements.xml
@@ -32,7 +32,7 @@
         <section>
             <title>Documentation team </title>
             <ul>
-                <li> Joachim Herreth-Correia </li>
+                <li> Joachim Hereth Correia </li>
                 <li> Heiko Reppe </li>
             </ul>
         </section>