From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Mon, 11 Mar 2002 11:27:03 +0000 (+0000)
Subject: Markus Moschner (DFKI) added.
X-Git-Tag: V_0_3_0_debian_8~231
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=7bb1c24ce643ca648fe957d9088a6b781f0a14f9;p=helm.git

Markus Moschner (DFKI) added.
---

diff --git a/helm/mowgli/home/html/Makefile b/helm/mowgli/home/html/Makefile
index 1eb2351b2..f99cf3c8b 100644
--- a/helm/mowgli/home/html/Makefile
+++ b/helm/mowgli/home/html/Makefile
@@ -31,6 +31,7 @@ PEOPLE = \
        	people/dfki/kohlhase.html \
        	people/dfki/melis.html \
        	people/dfki/siekmann.html \
+       	people/dfki/moschner.html \
        	people/inria/amerkad.html \
        	people/inria/bertot.html \
        	people/inria/chicli.html \