Skip to content
Snippets Groups Projects
Commit b30a15a0 authored by Julien Signoles's avatar Julien Signoles Committed by Patrick Baudin
Browse files

[e-acsl] fix the fix :/

parent c80dd59d
No related branches found
No related tags found
No related merge requests found
...@@ -29,7 +29,7 @@ README header_spec=.ignore ...@@ -29,7 +29,7 @@ README header_spec=.ignore
/.clang-format header_spec=.ignore /.clang-format header_spec=.ignore
/doc/Makefile.common header_spec=.ignore /doc/Makefile.common header_spec=.ignore
/doc/support/MakeLaTeXModern 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/doxygen/doxygen.cfg.in header_spec=.ignore
/doc/refman/*.tex header_spec=.ignore /doc/refman/*.tex header_spec=.ignore
/doc/userman/*.tex header_spec=.ignore /doc/userman/*.tex header_spec=.ignore
...@@ -58,9 +58,9 @@ README header_spec=.ignore ...@@ -58,9 +58,9 @@ README header_spec=.ignore
/examples/**/*.sh header_spec=.ignore /examples/**/*.sh header_spec=.ignore
/examples/**/*.py header_spec=.ignore /examples/**/*.py header_spec=.ignore
/tests/test_config header=.ignore /tests/test_config header_spec=.ignore
/tests/test_config_dev header=.ignore /tests/test_config_dev header_spec=.ignore
/tests/**/* header_spec header=.ignore /tests/**/* header_spec
/tests/wrapper.sh header_spec=CEA_LGPL_OR_PROPRIETARY.E_ACSL /tests/wrapper.sh header_spec=CEA_LGPL_OR_PROPRIETARY.E_ACSL
/tests/E_ACSL_test.ml header_spec=CEA_LGPL_OR_PROPRIETARY.E_ACSL /tests/E_ACSL_test.ml header_spec=CEA_LGPL_OR_PROPRIETARY.E_ACSL
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment