diff --git a/.gitignore b/.gitignore new file mode 100644 index 0000000000000000000000000000000000000000..a778e04a1388bb23c53ae90d71f9c81cc84893dd --- /dev/null +++ b/.gitignore @@ -0,0 +1,43 @@ + +# / +/Makefile +/Makefile.in +/config.* +/configure +/dependencies.m4 +/aclocal.m4 +/autom4te.cache +/depcomp +/install-sh +/missing +/mkinstalldirs +/libtool +/dune.pc +/semantic.cache +/stamp-h1 +/html +/.deps +/.libs +/am +/linelast +/nonlinelast + +# /dune/ +/dune/Makefile.in +/dune/Makefile + +# /dune/elasticity/ +/dune/elasticity/Makefile.in +/dune/elasticity/Makefile +/dune/elasticity/semantic.cache + +# /m4/ +/m4/Makefile.in +/m4/Makefile + +# /test/ +/test/.deps +/test/.libs +/test/Makefile +/test/Makefile.in +/test/semantic.cache