From: Luca Padovani Date: Tue, 3 Apr 2001 08:45:28 +0000 (+0000) Subject: added gmon.out X-Git-Tag: v0_1_2~42 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=0125d0d8d9844a1f0df8df3b21c1ef50e238b7fb;p=helm.git added gmon.out --- diff --git a/helm/interface/.cvsignore b/helm/interface/.cvsignore index 74a90d61b..742f6eb37 100644 --- a/helm/interface/.cvsignore +++ b/helm/interface/.cvsignore @@ -23,3 +23,5 @@ config.cache config.status helm_gtk_interface.spec + +gmon.out