]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/mowgli/home/html/people/aei/.cvsignore
ocaml 3.09 transition
[helm.git] / helm / mowgli / home / html / people / aei / .cvsignore
index 48e03d40521e6826144aaf5f6e623975c19efc24..dd435367dd79d0ffeb5816faf78dbdc84d7f05e3 100644 (file)
@@ -1,4 +1,6 @@
 kelley.html 
+pollney.html
 schutz.html 
 velden.html 
 wegner.html 
+weyher.html