]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/mowgli/home/html/Makefile
Goguadze added.
[helm.git] / helm / mowgli / home / html / Makefile
index dbd698a31190b540f03267aeabfe3f4beaaedbf3..0c7f2a677e6db319e2f7ecd1cddea47198225afa 100644 (file)
@@ -32,6 +32,7 @@ PEOPLE = \
                people/dfki/melis.html \
                people/dfki/siekmann.html \
                people/dfki/moschner.html \
+               people/dfki/goguadze.html \
                people/dfki/libbrecht.html \
                people/inria/amerkad.html \
                people/inria/bertot.html \