From: Claudio Sacerdoti Coen Date: Mon, 19 Jan 2004 12:36:02 +0000 (+0000) Subject: *** empty log message *** X-Git-Tag: V_0_5_1_3~27 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=b0e46002a23039f330057d2b0d6064287d45b628;p=helm.git *** empty log message *** --- diff --git a/helm/scripts/.cvsignore b/helm/scripts/.cvsignore new file mode 100644 index 000000000..852e6747c --- /dev/null +++ b/helm/scripts/.cvsignore @@ -0,0 +1,16 @@ +marcello.cshrc +marcello.rc +marcello_mowgli.cshrc +marcello_mowgli.rc +marcello_phd.cshrc +marcello_phd.rc +marcello_phd_mowgli.cshrc +marcello_phd_mowgli.rc +phd.cshrc +phd.rc +phd_marcello.cshrc +phd_marcello.rc +phd_marcello_mowgli.cshrc +phd_marcello_mowgli.rc +phd_mowgli.cshrc +phd_mowgli.rc