Merge branch 'fix/gitignore' into 'master'

Remove obsolete entries from .gitignore

See merge request frama-c/frama-c!3522

.gitignore

@@ -53,10 +53,6 @@ autom4te.cache
 /tests/crowbar/mutable
 /tests/crowbar/output-*
 /tests/crowbar/test_ghost_cfg
-/tests/fc_script/compile_commands.json
-/tests/journal/intra.byte
-/tests/misc/my_visitor_plugin/my_visitor.opt
-/tests/misc/my_visitor.sav
 /tests/spec/preprocess_dos.c
 /tests/*/*.opt
 
@@ -195,7 +191,6 @@ Makefile.plugin.generated
 # generated ML files
 
 /src/libraries/utils/json.ml
-/src/kernel_internals/runtime/toplevel_boot.ml
 /src/kernel_internals/runtime/fc_config.ml
 /src/kernel_internals/parsing/logic_lexer.ml
 /src/kernel_internals/parsing/logic_parser.ml
@@ -210,8 +205,6 @@ Makefile.plugin.generated
 /src/plugins/gui/dgraph_helper.ml
 /src/plugins/gui/GSourceView.ml
 /src/plugins/gui/GSourceView.mli
-/src/plugins/gui/GSourceView2.ml
-/src/plugins/gui/GSourceView2.mli
 /src/plugins/gui/gtk_compat.ml
 /src/plugins/markdown-report/META
 

src/plugins/e-acsl/.gitignore

@@ -50,15 +50,9 @@
 /doc/userman/*.log
 /doc/userman/*.lof
 /doc/userman/eacslversion.tex
-/tests/*.cm*
-/tests/*.annot
-/tests/*_DEP
 /tests/test_config
-/tests/test_config_ci
 /tests/test_config_dev
 /tests/*/result*/*
-/tests/*/oracle_ci/*
-/tests/check/obj/*
 .frama-c
 tests/ptests_config
 META.frama-c-e_acsl
@@ -76,6 +70,5 @@ lib/libeacsl-rtl-bittree.a
 lib/libeacsl-rtl-segment.a
 lib/libeacsl-rtl-bittree-dbg.a
 lib/libeacsl-rtl-segment-dbg.a
-tests/csrv14/*
 src/local_config.ml
 src/dependencies/dep_eva.ml

src/plugins/server/.gitignore

 /Makefile
 /Server.mli
-/tests/ptests_config
-/tests/report/result

src/plugins/server/tests/.gitignore

-result
+/ptests_config
\ No newline at end of file
+result

src/plugins/wp/.gitignore

@@ -14,8 +14,6 @@
 /tests/ptests_config
 /tests/*/result
 /tests/*/result_*
-/tests/*/*.sav
-/tests/*/*.out
 
 /doc/*/.make-class
 /doc/*/.make-icons