From 7bb1c24ce643ca648fe957d9088a6b781f0a14f9 Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Mon, 11 Mar 2002 11:27:03 +0000 Subject: [PATCH] Markus Moschner (DFKI) added. --- helm/mowgli/home/html/Makefile | 1 + 1 file changed, 1 insertion(+) 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 \ -- 2.39.2