From 487588b70ff71d3a89388a8e0dc5ebcd524cc2f2 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Loi=CC=88c=20Correnson?= <loic.correnson@cea.fr>
Date: Thu, 31 Mar 2022 17:13:03 +0200
Subject: [PATCH] [ivette] revert to initial headers filter
---
ivette/headers/register.sh | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/ivette/headers/register.sh b/ivette/headers/register.sh
index d918d2b45d8..264b48847f8 100755
--- a/ivette/headers/register.sh
+++ b/ivette/headers/register.sh
@@ -1,6 +1,6 @@
#!/bin/sh
case "$1" in
- Makefile.distrib | *.json | src/dome/doc/* | */.eslintrc.js | headers/* )
+ Makefile.distrib | *.json | src/dome/doc/* | */.eslintrc.js )
echo "$1: .ignore"
;;
*Make* | src/*/*.js* | src/*/*.ts* | src/*/*.ml*)
--
GitLab