From: Luca Padovani <luca.padovani@unito.it>
Date: Sat, 10 Nov 2001 19:17:47 +0000 (+0000)
Subject: binary ignored
X-Git-Tag: uwobo_pre_ocaml~7
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=e9165f563d930d188d3675ab739244adf9460142;p=helm.git

binary ignored
---

diff --git a/helm/helmpot/.cvsignore b/helm/helmpot/.cvsignore
index 876a62b4a..d6cea24b1 100644
--- a/helm/helmpot/.cvsignore
+++ b/helm/helmpot/.cvsignore
@@ -15,3 +15,4 @@ Makefile.in
 aclocal.m4
 *.spec
 .deps
+helmpot