From ce7192054b9f426b6fed4bc484815b4d80a907d4 Mon Sep 17 00:00:00 2001
From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Tue, 12 Feb 2002 18:22:04 +0000
Subject: [PATCH] .cvsignore added where useful

---
 helm/mowgli/home/html/.cvsignore                   |  5 +++++
 helm/mowgli/home/html/people/aei/.cvsignore        |  4 ++++
 helm/mowgli/home/html/people/bologna/.cvsignore    |  5 +++++
 helm/mowgli/home/html/people/dfki/.cvsignore       |  3 +++
 helm/mowgli/home/html/people/inria/.cvsignore      |  9 +++++++++
 helm/mowgli/home/html/people/nijmegen/.cvsignore   |  9 +++++++++
 .../home/html/people/trusted-logic/.cvsignore      |  1 +
 .../home/html/publications/others/.cvsignore       | 14 ++++++++++++++
 helm/mowgli/home/html/sites/.cvsignore             |  6 ++++++
 helm/mowgli/home/html/work-packages/.cvsignore     |  8 ++++++++
 10 files changed, 64 insertions(+)
 create mode 100644 helm/mowgli/home/html/.cvsignore
 create mode 100644 helm/mowgli/home/html/people/aei/.cvsignore
 create mode 100644 helm/mowgli/home/html/people/bologna/.cvsignore
 create mode 100644 helm/mowgli/home/html/people/dfki/.cvsignore
 create mode 100644 helm/mowgli/home/html/people/inria/.cvsignore
 create mode 100644 helm/mowgli/home/html/people/nijmegen/.cvsignore
 create mode 100644 helm/mowgli/home/html/people/trusted-logic/.cvsignore
 create mode 100644 helm/mowgli/home/html/publications/others/.cvsignore
 create mode 100644 helm/mowgli/home/html/sites/.cvsignore
 create mode 100644 helm/mowgli/home/html/work-packages/.cvsignore

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
-- 
2.39.2