diff --git a/src/plugins/e-acsl/.gitattributes b/src/plugins/e-acsl/.gitattributes index a01dd065e962904b779606011014481e8f2e7e16..b2287fd829f78660432634f745813b44d6ec0421 100644 --- a/src/plugins/e-acsl/.gitattributes +++ b/src/plugins/e-acsl/.gitattributes @@ -29,6 +29,7 @@ README header_spec=.ignore /.clang-format header_spec=.ignore /doc/Makefile.common header_spec=.ignore /doc/support/MakeLaTeXModern header_spec=.ignore +/doc/Changelog header=.ignore /doc/doxygen/doxygen.cfg.in header_spec=.ignore /doc/refman/*.tex header_spec=.ignore /doc/userman/*.tex header_spec=.ignore @@ -57,7 +58,9 @@ README header_spec=.ignore /examples/**/*.sh header_spec=.ignore /examples/**/*.py header_spec=.ignore -/tests/**/* header_spec=.ignore +/tests/test_config header=.ignore +/tests/test_config_dev header=.ignore +/tests/**/* header_spec header=.ignore /tests/wrapper.sh header_spec=CEA_LGPL_OR_PROPRIETARY.E_ACSL /tests/E_ACSL_test.ml header_spec=CEA_LGPL_OR_PROPRIETARY.E_ACSL