From bd7a1ae0a9c7508b14888b88941da731895bcc34 Mon Sep 17 00:00:00 2001 From: Valentin Perrelle <valentin.perrelle@cea.fr> Date: Sat, 5 Feb 2022 01:06:16 +0100 Subject: [PATCH] [ivette] remove Eva's eslint configuration file from header specs --- ivette/headers/header_spec.txt | 1 - 1 file changed, 1 deletion(-) diff --git a/ivette/headers/header_spec.txt b/ivette/headers/header_spec.txt index 40e6b6a4e9f..c89734b2803 100644 --- a/ivette/headers/header_spec.txt +++ b/ivette/headers/header_spec.txt @@ -172,7 +172,6 @@ src/frama-c/plugins/dive/pkg.json: .ignore src/frama-c/plugins/dive/react-cytoscapejs.d.ts: CEA_LGPL src/frama-c/plugins/dive/style.json: .ignore src/frama-c/plugins/dive/tippy.css: .ignore -src/frama-c/plugins/eva/.eslintrc.js: .ignore src/frama-c/plugins/eva/Coverage.tsx: CEA_LGPL src/frama-c/plugins/eva/CoverageMeter.tsx: CEA_LGPL src/frama-c/plugins/eva/Summary.tsx: CEA_LGPL -- GitLab