]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/mowgli/home/html/proposal/.cvsignore
ocaml 3.09 transition
[helm.git] / helm / mowgli / home / html / proposal / .cvsignore
index 7ae73ada1d7c629dd33e11a3da632d76ba7f6091..4807b69dc75821648673827b3323f7f9257f9ac5 100644 (file)
@@ -1,4 +1,3 @@
-proposal-index.html
 project-management.html
 project-objectives.html
 project-summary.html
@@ -7,4 +6,4 @@ innovation.html
 EC-contribution.html
 econ-scient-tech-prospects.html
 project-planning.html
-project-components.html
\ No newline at end of file
+project-components.html