]> 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 4734c70f8aca6df617ee9144430b56918acef5e0..a438e331bdb2e8cb16de1d5579743b577b9daff1 100644 (file)
@@ -1,2 +1,3 @@
 bolignano.html 
 gimenez.html
+loiseaux.html