]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/mowgli/home/html/people/inria/.cvsignore
ocaml 3.09 transition
[helm.git] / helm / mowgli / home / html / people / inria / .cvsignore
index 00f73d70503c795d2cc88ff81314d1458372cb68..0c7a9ceea9120c7ee8cd7f2ccf036e4e111c3c64 100644 (file)
@@ -7,3 +7,4 @@ naciri.html
 pottier.html 
 rideau.html 
 thery.html 
+werner.html