]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/mowgli/home/html/people/trusted-logic/.cvsignore
* New data
[helm.git] / helm / mowgli / home / html / people / trusted-logic / .cvsignore
index 9e24e2cadf285bef2a39dafcfacd7eb7c3a3cb94..4734c70f8aca6df617ee9144430b56918acef5e0 100644 (file)
@@ -1 +1,2 @@
 bolignano.html 
+gimenez.html