X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fhttp_getter%2F.cvsignore;h=87c270357b6ffc174a9d02eb98abe1159d258384;hb=4e8b137b58ec6763785b8ee490ee8cd6cb77b5bf;hp=cbb473e0b43d3c2f2a49d4284096e5f6c6300eb8;hpb=1e50be8cda017baad324e20e5007df13f1c0fe04;p=helm.git diff --git a/helm/http_getter/.cvsignore b/helm/http_getter/.cvsignore index cbb473e0b..87c270357 100644 --- a/helm/http_getter/.cvsignore +++ b/helm/http_getter/.cvsignore @@ -1 +1 @@ -Makefile configure config.log config.cache config.status +Makefile configure config.log config.cache config.status http_getter.pl