From: Luca Padovani Date: Thu, 8 Feb 2001 11:06:53 +0000 (+0000) Subject: added htlm_cvs_interface.spec X-Git-Tag: v0_1_2~126 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=9632260a013dabd108d9965d6faffd99246e1f47;p=helm.git added htlm_cvs_interface.spec --- diff --git a/helm/interface/.cvsignore b/helm/interface/.cvsignore index b01badb8e..74a90d61b 100644 --- a/helm/interface/.cvsignore +++ b/helm/interface/.cvsignore @@ -21,3 +21,5 @@ configure config.log config.cache config.status + +helm_gtk_interface.spec