From: Luca Padovani <luca.padovani@unito.it>
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/?p=helm.git;a=commitdiff_plain;h=9632260a013dabd108d9965d6faffd99246e1f47

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