]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/mowgli/home/html/.cvsignore
ocaml 3.09 transition
[helm.git] / helm / mowgli / home / html / .cvsignore
index 1e51be510ff12527aa354c49636d4f7cfa9165d5..206e8734b877f7f074d177dddce70009eea706e6 100644 (file)
@@ -1,9 +1,6 @@
 home.html
 index.html
 menu.html 
-project-management.html
-project-objectives.html
-project-summary.html
 consortium.html 
 project.html 
 news.html
@@ -12,7 +9,4 @@ other-events.html
 deadlines.html
 people-list.html
 latest-news.xml
-approaching-deadlines.xml
-contribution.html
-innovation.html
-EC-contribution.html
\ No newline at end of file
+approaching-deadlines.xml
\ No newline at end of file