X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fgetter%2F.cvsignore;h=806547a564aecafab6e700419bb67c1ff59933c8;hb=4167cea65ca58897d1a3dbb81ff95de5074700cc;hp=6b3eba302c2590bfe8aa1d8b46c0de09ccd948fb;hpb=e97039cc9e0a8e4f992c712a1ccf47c801e1abcc;p=helm.git diff --git a/helm/ocaml/getter/.cvsignore b/helm/ocaml/getter/.cvsignore index 6b3eba302..806547a56 100644 --- a/helm/ocaml/getter/.cvsignore +++ b/helm/ocaml/getter/.cvsignore @@ -1 +1,2 @@ *.cm[iaox] *.cmxa +test