]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/mowgli/home/html/publications/others/.cvsignore
.cvsignore added where useful
[helm.git] / helm / mowgli / home / html / publications / others / .cvsignore
diff --git a/helm/mowgli/home/html/publications/others/.cvsignore b/helm/mowgli/home/html/publications/others/.cvsignore
new file mode 100644 (file)
index 0000000..a5a3665
--- /dev/null
@@ -0,0 +1,14 @@
+category_al.html 
+crimea2001_apss.html 
+cup_s.html 
+cup_s2.html 
+extreme2001_apss.html 
+har_bg.html 
+jep_ws.html 
+jep_wwsw.html 
+jlp2001_scg.html 
+mathml2000_apss.html 
+mscs_gb.html 
+tcs2001_og.html 
+tphols2000_gwz.html 
+tphols2001_apss.html