]> matita.cs.unibo.it Git - helm.git/commitdiff
.cvsignore added where useful
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 12 Feb 2002 18:22:04 +0000 (18:22 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 12 Feb 2002 18:22:04 +0000 (18:22 +0000)
helm/mowgli/home/html/.cvsignore [new file with mode: 0644]
helm/mowgli/home/html/people/aei/.cvsignore [new file with mode: 0644]
helm/mowgli/home/html/people/bologna/.cvsignore [new file with mode: 0644]
helm/mowgli/home/html/people/dfki/.cvsignore [new file with mode: 0644]
helm/mowgli/home/html/people/inria/.cvsignore [new file with mode: 0644]
helm/mowgli/home/html/people/nijmegen/.cvsignore [new file with mode: 0644]
helm/mowgli/home/html/people/trusted-logic/.cvsignore [new file with mode: 0644]
helm/mowgli/home/html/publications/others/.cvsignore [new file with mode: 0644]
helm/mowgli/home/html/sites/.cvsignore [new file with mode: 0644]
helm/mowgli/home/html/work-packages/.cvsignore [new file with mode: 0644]

diff --git a/helm/mowgli/home/html/.cvsignore b/helm/mowgli/home/html/.cvsignore
new file mode 100644 (file)
index 0000000..f0808a0
--- /dev/null
@@ -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 (file)
index 0000000..48e03d4
--- /dev/null
@@ -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 (file)
index 0000000..fed7a15
--- /dev/null
@@ -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 (file)
index 0000000..ff3ca3a
--- /dev/null
@@ -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 (file)
index 0000000..00f73d7
--- /dev/null
@@ -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 (file)
index 0000000..cb89baf
--- /dev/null
@@ -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 (file)
index 0000000..9e24e2c
--- /dev/null
@@ -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 (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 
diff --git a/helm/mowgli/home/html/sites/.cvsignore b/helm/mowgli/home/html/sites/.cvsignore
new file mode 100644 (file)
index 0000000..66f60b7
--- /dev/null
@@ -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 (file)
index 0000000..9a1cbb8
--- /dev/null
@@ -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