From: Stefano Zacchiroli Date: Mon, 6 Jan 2003 18:37:03 +0000 (+0000) Subject: added cvsignore X-Git-Tag: v0_3_99~84 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=ab01d2376ccfda0f367f6d78997b7f7d55e5b0d5;p=helm.git added cvsignore --- diff --git a/helm/hbugs/meta/.cvsignore b/helm/hbugs/meta/.cvsignore new file mode 100644 index 000000000..414b9fc6e --- /dev/null +++ b/helm/hbugs/meta/.cvsignore @@ -0,0 +1,2 @@ +META.hbugs-common +META.hbugs-thread-safe