From b30a15a0ef489a209a6d1e1407bf4b8005850d42 Mon Sep 17 00:00:00 2001 From: Julien Signoles <julien.signoles@cea.fr> Date: Fri, 3 Jun 2022 11:43:28 +0200 Subject: [PATCH] [e-acsl] fix the fix :/ --- src/plugins/e-acsl/.gitattributes | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/src/plugins/e-acsl/.gitattributes b/src/plugins/e-acsl/.gitattributes index b2287fd829f..cca30ad415b 100644 --- a/src/plugins/e-acsl/.gitattributes +++ b/src/plugins/e-acsl/.gitattributes @@ -29,7 +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/Changelog header_spec=.ignore /doc/doxygen/doxygen.cfg.in header_spec=.ignore /doc/refman/*.tex header_spec=.ignore /doc/userman/*.tex header_spec=.ignore @@ -58,9 +58,9 @@ README header_spec=.ignore /examples/**/*.sh header_spec=.ignore /examples/**/*.py header_spec=.ignore -/tests/test_config header=.ignore -/tests/test_config_dev header=.ignore -/tests/**/* header_spec header=.ignore +/tests/test_config header_spec=.ignore +/tests/test_config_dev header_spec=.ignore +/tests/**/* header_spec /tests/wrapper.sh header_spec=CEA_LGPL_OR_PROPRIETARY.E_ACSL /tests/E_ACSL_test.ml header_spec=CEA_LGPL_OR_PROPRIETARY.E_ACSL -- GitLab