]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/mowgli/home/html/Makefile
Markus Moschner (DFKI) added.
[helm.git] / helm / mowgli / home / html / Makefile
index 1eb2351b2ee8e81abecd6ef45ee469e719d43f26..f99cf3c8b5f574c899119dd3292ee980bc895f7f 100644 (file)
@@ -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 \