From: Luca Padovani Date: Mon, 29 Jan 2001 12:28:06 +0000 (+0000) Subject: *** empty log message *** X-Git-Tag: no-uwobo~4 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=f2fd3078d5dc7a006c85d13e27aea8680ecaf9ed;p=helm.git *** empty log message *** --- diff --git a/helm/DEVEL/lablgtkmathview/.cvsignore b/helm/DEVEL/lablgtkmathview/.cvsignore index 930b7a63e..801e37634 100644 --- a/helm/DEVEL/lablgtkmathview/.cvsignore +++ b/helm/DEVEL/lablgtkmathview/.cvsignore @@ -1 +1,3 @@ *.cmi *.cmo *.cmx *.cma *.cmxa config.make config.cache config.log configure +Makefile +config.status