From 8e613bb927e9f70ad274e89edd10babda2a678cf Mon Sep 17 00:00:00 2001 From: Ferruccio Guidi Date: Fri, 5 Jan 2018 21:15:00 +0100 Subject: [PATCH] more files to ignore --- .gitignore | 41 ++++++++++++++++++++++++++++++++++++----- 1 file changed, 36 insertions(+), 5 deletions(-) diff --git a/.gitignore b/.gitignore index c4ee3f2ad..af77f87fa 100644 --- a/.gitignore +++ b/.gitignore @@ -1,9 +1,40 @@ *.o *.a -*.cmi -*.cmo -*.cma *.cmx +*.cmo +*.cmi *.cmxa -.depend -.depend.opt +*.cma + +*~ + +_build +*.native + +matita/Makefile.defs +matita/autom4te.cache +matita/components/METAS/META* +matita/config.log +matita/configure + +matita/components/extlib/componentsConf.ml +matita/matita/matitaGeneratedGui.ml +matita/matita/matita.conf.xml +matita/matita/buildTimeConf.ml +matita/matita/matita.glade.utf8 +matita/depend-stamp +matita/config.status + +matita/matita/matita +matita/matita/matitac +matita/matita/matita.opt +matita/matita/matitac.opt +matita/matita/matitaclean +matita/matita/matitaclean.opt + +matita/matita/help/C/version.txt + +matita/matita/contribs/lambdadelta/token +matita/matita/contribs/lambdadelta/2A1 +matita/matita/contribs/lambdadelta/apps_2/notation +matita/matita/contribs/lambdadelta/apps_2/models -- 2.39.2