Merge branch 'fix/clean-svgs' into 'master'

clean SVG files See merge request frama-c/frama-c!4431

Merge branch 'fix/clean-svgs' into 'master'
ad600b48 · Loïc Correnson · 7569322d · 0642a9fc · ad600b48 · ad600b48
Commit ad600b48 authored 1 year ago by Loïc Correnson
--- a/doc/eva/gui-images/RMB_click.svg
+++ b/doc/eva/gui-images/RMB_click.svg
--- a/doc/eva/gui-images/gui-callstacks.svg
+++ b/doc/eva/gui-images/gui-callstacks.svg
--- a/doc/eva/gui-images/gui-values.svg
+++ b/doc/eva/gui-images/gui-values.svg
--- a/share/frama-c-icon.svg
+++ b/share/frama-c-icon.svg
--- a/share/theme/flat/considered_valid.svg
+++ b/share/theme/flat/considered_valid.svg
--- a/share/theme/flat/fold.svg
+++ b/share/theme/flat/fold.svg
--- a/share/theme/flat/inconsistent.svg
+++ b/share/theme/flat/inconsistent.svg
--- a/share/theme/flat/invalid_but_dead.svg
+++ b/share/theme/flat/invalid_but_dead.svg
--- a/share/theme/flat/invalid_under_hyp.svg
+++ b/share/theme/flat/invalid_under_hyp.svg
--- a/share/theme/flat/never_tried.svg
+++ b/share/theme/flat/never_tried.svg
--- a/share/theme/flat/surely_invalid.svg
+++ b/share/theme/flat/surely_invalid.svg
--- a/share/theme/flat/surely_valid.svg
+++ b/share/theme/flat/surely_valid.svg
--- a/share/theme/flat/unfold.svg
+++ b/share/theme/flat/unfold.svg
--- a/share/theme/flat/unknown.svg
+++ b/share/theme/flat/unknown.svg
--- a/share/theme/flat/unknown_but_dead.svg
+++ b/share/theme/flat/unknown_but_dead.svg
--- a/share/theme/flat/valid_but_dead.svg
+++ b/share/theme/flat/valid_but_dead.svg
--- a/share/theme/flat/valid_under_hyp.svg
+++ b/share/theme/flat/valid_under_hyp.svg