From c80dd59d0749ce6e9b24a6e7f496e4ff2dd514be Mon Sep 17 00:00:00 2001
From: Julien Signoles <julien.signoles@cea.fr>
Date: Fri, 3 Jun 2022 11:41:52 +0200
Subject: [PATCH] [e-acsl] fix .gitattributes

---
 src/plugins/e-acsl/.gitattributes | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/src/plugins/e-acsl/.gitattributes b/src/plugins/e-acsl/.gitattributes
index a01dd065e96..b2287fd829f 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
-- 
GitLab