]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/mowgli/home/html/people/trusted-logic/.cvsignore
ocaml 3.09 transition
[helm.git] / helm / mowgli / home / html / people / trusted-logic / .cvsignore
index 9e24e2cadf285bef2a39dafcfacd7eb7c3a3cb94..a438e331bdb2e8cb16de1d5579743b577b9daff1 100644 (file)
@@ -1 +1,3 @@
 bolignano.html 
+gimenez.html
+loiseaux.html