From: Stefano Zacchiroli Date: Fri, 21 Feb 2003 13:56:04 +0000 (+0000) Subject: added hbugs-client META X-Git-Tag: V_0_0_4_1~9 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=75be6caf86a0780b9bf8b774f58f1f525445b3a2;p=helm.git added hbugs-client META --- diff --git a/helm/hbugs/meta/.cvsignore b/helm/hbugs/meta/.cvsignore index 414b9fc6e..fcfb940ea 100644 --- a/helm/hbugs/meta/.cvsignore +++ b/helm/hbugs/meta/.cvsignore @@ -1,2 +1,3 @@ META.hbugs-common +META.hbugs-client META.hbugs-thread-safe