diff --git a/.gitignore b/.gitignore new file mode 100644 index 0000000000000000000000000000000000000000..92804b54bdee5adea4652fc994ed77a047e72587 --- /dev/null +++ b/.gitignore @@ -0,0 +1,37 @@ + +# / +/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-elasticity/ +/dune-elasticity/semantic.cache + +# /m4/ +/m4/Makefile.in +/m4/Makefile + +# /test/ +/test/.deps +/test/.libs +/test/Makefile +/test/Makefile.in +/test/semantic.cache