From: Stefano Zacchiroli Date: Mon, 9 Dec 2002 11:15:56 +0000 (+0000) Subject: ignore Makefile and Makefile.in X-Git-Tag: v0_3_99~154 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=0f382df0cc4acc752dd55220bdbdd72dbfe695a5;p=helm.git ignore Makefile and Makefile.in --- diff --git a/helm/DEVEL/gdome_xslt/C/.cvsignore b/helm/DEVEL/gdome_xslt/C/.cvsignore new file mode 100644 index 000000000..282522db0 --- /dev/null +++ b/helm/DEVEL/gdome_xslt/C/.cvsignore @@ -0,0 +1,2 @@ +Makefile +Makefile.in diff --git a/helm/DEVEL/gdome_xslt/ocaml/.cvsignore b/helm/DEVEL/gdome_xslt/ocaml/.cvsignore new file mode 100644 index 000000000..282522db0 --- /dev/null +++ b/helm/DEVEL/gdome_xslt/ocaml/.cvsignore @@ -0,0 +1,2 @@ +Makefile +Makefile.in