diff --git a/ivette/headers/header_spec.txt b/ivette/headers/header_spec.txt index 1bc4d6658222a8e3a2f26ecc01df72c5e949cb30..8e1281650b8011fb460f81854921c54b95f62cdd 100644 --- a/ivette/headers/header_spec.txt +++ b/ivette/headers/header_spec.txt @@ -173,13 +173,13 @@ src/frama-c/plugins/dive/tippy.css: .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 -src/frama-c/plugins/eva/valuetable.tsx: CEA_LGPL src/frama-c/plugins/eva/api/general/index.ts: CEA_LGPL src/frama-c/plugins/eva/api/values/index.ts: CEA_LGPL src/frama-c/plugins/eva/index.tsx: CEA_LGPL src/frama-c/plugins/eva/pkg.json: .ignore src/frama-c/plugins/eva/style.css: .ignore -src/frama-c/plugins/eva/summary.css: .ignore +src/frama-c/plugins/eva/style_summary.css: .ignore +src/frama-c/plugins/eva/valuetable.tsx: CEA_LGPL src/frama-c/plugins/pivot/api/general/index.ts: CEA_LGPL src/frama-c/plugins/studia/api/studia/index.ts: CEA_LGPL src/frama-c/react-pivottable.d.ts: CEA_LGPL