]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/mowgli/home/html/publications/others/.cvsignore
This commit was manufactured by cvs2svn to create branch 'moogle'.
[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
deleted file mode 100644 (file)
index 00a0535..0000000
+++ /dev/null
@@ -1,18 +0,0 @@
-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 
-cc.html
-cup_hp91.html
-cup_hp93.html
-w3c_bl98.html
\ No newline at end of file