From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Tue, 12 Feb 2002 18:22:04 +0000 (+0000)
Subject: .cvsignore added where useful
X-Git-Tag: V_0_3_0_debian_8~342
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=ce7192054b9f426b6fed4bc484815b4d80a907d4;p=helm.git

.cvsignore added where useful
---

diff --git a/helm/mowgli/home/html/.cvsignore b/helm/mowgli/home/html/.cvsignore
new file mode 100644
index 000000000..f0808a004
--- /dev/null
+++ b/helm/mowgli/home/html/.cvsignore
@@ -0,0 +1,5 @@
+home.html
+index.html
+menu.html 
+consortium.html 
+project.html 
diff --git a/helm/mowgli/home/html/people/aei/.cvsignore b/helm/mowgli/home/html/people/aei/.cvsignore
new file mode 100644
index 000000000..48e03d405
--- /dev/null
+++ b/helm/mowgli/home/html/people/aei/.cvsignore
@@ -0,0 +1,4 @@
+kelley.html 
+schutz.html 
+velden.html 
+wegner.html 
diff --git a/helm/mowgli/home/html/people/bologna/.cvsignore b/helm/mowgli/home/html/people/bologna/.cvsignore
new file mode 100644
index 000000000..fed7a15ef
--- /dev/null
+++ b/helm/mowgli/home/html/people/bologna/.cvsignore
@@ -0,0 +1,5 @@
+asperti.html 
+guidi.html 
+padovani.html 
+sacerdoti.html 
+schena.html 
diff --git a/helm/mowgli/home/html/people/dfki/.cvsignore b/helm/mowgli/home/html/people/dfki/.cvsignore
new file mode 100644
index 000000000..ff3ca3a03
--- /dev/null
+++ b/helm/mowgli/home/html/people/dfki/.cvsignore
@@ -0,0 +1,3 @@
+kohlhase.html 
+melis.html 
+siekmann.html 
diff --git a/helm/mowgli/home/html/people/inria/.cvsignore b/helm/mowgli/home/html/people/inria/.cvsignore
new file mode 100644
index 000000000..00f73d705
--- /dev/null
+++ b/helm/mowgli/home/html/people/inria/.cvsignore
@@ -0,0 +1,9 @@
+amerkad.html 
+bertot.html 
+chicli.html 
+delahaye.html 
+herbelin.html 
+naciri.html 
+pottier.html 
+rideau.html 
+thery.html 
diff --git a/helm/mowgli/home/html/people/nijmegen/.cvsignore b/helm/mowgli/home/html/people/nijmegen/.cvsignore
new file mode 100644
index 000000000..cb89baf3a
--- /dev/null
+++ b/helm/mowgli/home/html/people/nijmegen/.cvsignore
@@ -0,0 +1,9 @@
+barendregt.html 
+barreiro.html 
+cohen.html 
+cruz-filipe.html 
+geuvers.html 
+niqui.html 
+stein.html 
+synek.html 
+wiedijk.html 
diff --git a/helm/mowgli/home/html/people/trusted-logic/.cvsignore b/helm/mowgli/home/html/people/trusted-logic/.cvsignore
new file mode 100644
index 000000000..9e24e2cad
--- /dev/null
+++ b/helm/mowgli/home/html/people/trusted-logic/.cvsignore
@@ -0,0 +1 @@
+bolignano.html 
diff --git a/helm/mowgli/home/html/publications/others/.cvsignore b/helm/mowgli/home/html/publications/others/.cvsignore
new file mode 100644
index 000000000..a5a366544
--- /dev/null
+++ b/helm/mowgli/home/html/publications/others/.cvsignore
@@ -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 
diff --git a/helm/mowgli/home/html/sites/.cvsignore b/helm/mowgli/home/html/sites/.cvsignore
new file mode 100644
index 000000000..66f60b77e
--- /dev/null
+++ b/helm/mowgli/home/html/sites/.cvsignore
@@ -0,0 +1,6 @@
+aei.html 
+bologna.html 
+dfki.html 
+inria.html 
+nijmegen.html 
+trusted-logic.html 
diff --git a/helm/mowgli/home/html/work-packages/.cvsignore b/helm/mowgli/home/html/work-packages/.cvsignore
new file mode 100644
index 000000000..9a1cbb812
--- /dev/null
+++ b/helm/mowgli/home/html/work-packages/.cvsignore
@@ -0,0 +1,8 @@
+distribution.html 
+information-dissemination-and-exploitation.html 
+interfaces.html 
+metadata.html 
+project-management.html 
+requirement-analysis.html 
+testing-and-validation.html 
+transformation.html