From: Claudio Sacerdoti Coen 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