]> matita.cs.unibo.it Git - helm.git/commitdiff
projects / helm.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 95dd59c)
Markus Moschner (DFKI) added.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 11 Mar 2002 11:27:03 +0000 (11:27 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 11 Mar 2002 11:27:03 +0000 (11:27 +0000)
helm/mowgli/home/html/Makefile patch | blob | history

diff --git a/helm/mowgli/home/html/Makefile b/helm/mowgli/home/html/Makefile
index 1eb2351b2ee8e81abecd6ef45ee469e719d43f26..f99cf3c8b5f574c899119dd3292ee980bc895f7f 100644 (file)
--- 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 \
Unnamed repository; edit this file 'description' to name the repository.