]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/mowgli/home/html/.cvsignore
- renamed some files
[helm.git] / helm / mowgli / home / html / .cvsignore
index 8a53bb955f5a6d307312baf1efa4a4b427901a52..957e5abd78425241358b0867ce6822603ebafd7e 100644 (file)
@@ -2,7 +2,7 @@ home.html
 index.html
 menu.html 
 project-management.html
-project_summary.html
+project-summary.html
 consortium.html 
 project.html 
 news.html