]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/mowgli/home/html/publications/mowgli/.cvsignore
ocaml 3.09 transition
[helm.git] / helm / mowgli / home / html / publications / mowgli / .cvsignore
index dcaf71693e4a4e96739438640406f4f66c7a2dd4..05440f9e40ee3dec03d411c870e64ea009ea2dd4 100644 (file)
@@ -1 +1,2 @@
-index.html
+crimea2002_aw.html
+crimea2002_aw_on_line.html