diff --git a/src/plugins/alias/.gitignore b/src/plugins/alias/.gitignore
deleted file mode 100644
index bf8b4fea7803f726f79270ec0f26987cc09914f7..0000000000000000000000000000000000000000
--- a/src/plugins/alias/.gitignore
+++ /dev/null
@@ -1,3 +0,0 @@
-/_build
-tests/**/result
-tests/*/oracle/dune
diff --git a/src/plugins/aorai/.gitignore b/src/plugins/aorai/.gitignore
deleted file mode 100644
index ad6e08d6507d65fbc0cf193acc21fda8a2f174cd..0000000000000000000000000000000000000000
--- a/src/plugins/aorai/.gitignore
+++ /dev/null
@@ -1,7 +0,0 @@
-/aorai_eva_analysis.ml
-/Makefile
-/*parser*.output
-/ptests_local_config.ml
-/tests/*/result
-/tests/*/result_prove
-/top
diff --git a/src/plugins/dive/.gitignore b/src/plugins/dive/.gitignore
deleted file mode 100644
index 2da34c702bc6458d352da4d681c3928c90cca5ee..0000000000000000000000000000000000000000
--- a/src/plugins/dive/.gitignore
+++ /dev/null
@@ -1,3 +0,0 @@
-/Makefile
-/tests/*/result
-/tests/**/dune
diff --git a/src/plugins/e-acsl/.gitignore b/src/plugins/e-acsl/.gitignore
index 783ae829a3b230198fe7b60f7acb5bf0b386e4d8..01f85a8388a592e2bee4fd5628711e97292fa1fb 100644
--- a/src/plugins/e-acsl/.gitignore
+++ b/src/plugins/e-acsl/.gitignore
@@ -1,24 +1,3 @@
-*~
-*.o
-*.cm*
-*.annot
-/*_DEP
-/configure
-/config.log
-/Makefile
-/.depend
-/config.status
-/autom4te.cache
-/ptests_local_config.ml
-/configure.lineno
-/share/*.cm*
-/share/*.annot
-/share/*_DEP
-/share/e-acsl/*.cm*
-/share/e-acsl/*.annot
-/share/e-acsl/*_DEP
-/doc/manuals
-/doc/code
 /doc/refman/*.out
 /doc/refman/*.bbl
 /doc/refman/*.blg
@@ -48,21 +27,6 @@
 /doc/userman/*.idx
 /doc/userman/*.log
 /doc/userman/*.lof
-/tests/*/result*/*
-.frama-c
-META.frama-c-e_acsl
-.merlin
-.Makefile.plugin.generated
-E_ACSL.check_mli_exists
-top/
 doc/doxygen/doxygen.cfg
 doc/doxygen/html
 doc/doxygen/warn.log
-lib/libeacsl-jemalloc.a
-lib/libeacsl-dlmalloc.a
-lib/libeacsl-gmp.a
-lib/libeacsl-rtl-bittree.a
-lib/libeacsl-rtl-segment.a
-lib/libeacsl-rtl-bittree-dbg.a
-lib/libeacsl-rtl-segment-dbg.a
-src/dependencies/dep_eva.ml
diff --git a/src/plugins/instantiate/.gitignore b/src/plugins/instantiate/.gitignore
deleted file mode 100644
index cf191ced79913e05a88f7328899d77f503fc77f4..0000000000000000000000000000000000000000
--- a/src/plugins/instantiate/.gitignore
+++ /dev/null
@@ -1,4 +0,0 @@
-/configure
-/Makefile
-/tests/*/oracle/dune
-/tests/*/result
diff --git a/src/plugins/loop_analysis/.gitignore b/src/plugins/loop_analysis/.gitignore
deleted file mode 100644
index 3a98458e917cbf63ae42a311989dbe7be4a5d56c..0000000000000000000000000000000000000000
--- a/src/plugins/loop_analysis/.gitignore
+++ /dev/null
@@ -1,4 +0,0 @@
-/configure
-/Makefile
-/tests/*/result
-/tests/**/dune
diff --git a/src/plugins/markdown-report/.gitignore b/src/plugins/markdown-report/.gitignore
deleted file mode 100644
index 9f63f866593fb8546d1562b3b1bef39e4b7f6bfc..0000000000000000000000000000000000000000
--- a/src/plugins/markdown-report/.gitignore
+++ /dev/null
@@ -1,12 +0,0 @@
-*.cm*
-*.o
-top/
-*.check_mli_exists
-.Makefile.plugin.generated
-.depend
-.merlin
-*~
-/Makefile
-/tests/**/dune
-/tests/*/result
-/tests/*/result_*
diff --git a/src/plugins/nonterm/.gitignore b/src/plugins/nonterm/.gitignore
deleted file mode 100644
index b18adc61b4fbcc6e775225047b0a86a8a8a8659d..0000000000000000000000000000000000000000
--- a/src/plugins/nonterm/.gitignore
+++ /dev/null
@@ -1,4 +0,0 @@
-/configure
-/Makefile
-/tests/**/dune
-/tests/*/result
diff --git a/src/plugins/obfuscator/.gitignore b/src/plugins/obfuscator/.gitignore
deleted file mode 100644
index 0114e3d0f08985bcf97727dcde8f314ddb4410ae..0000000000000000000000000000000000000000
--- a/src/plugins/obfuscator/.gitignore
+++ /dev/null
@@ -1,4 +0,0 @@
-/configure
-/Makefile
-/tests/ptests_config
-/tests/*/result
diff --git a/src/plugins/report/.gitignore b/src/plugins/report/.gitignore
deleted file mode 100644
index 3a98458e917cbf63ae42a311989dbe7be4a5d56c..0000000000000000000000000000000000000000
--- a/src/plugins/report/.gitignore
+++ /dev/null
@@ -1,4 +0,0 @@
-/configure
-/Makefile
-/tests/*/result
-/tests/**/dune
diff --git a/src/plugins/security_slicing/.gitignore b/src/plugins/security_slicing/.gitignore
deleted file mode 100644
index 5fc607b9e2fba31acca73ef4137aaf02482a55a1..0000000000000000000000000000000000000000
--- a/src/plugins/security_slicing/.gitignore
+++ /dev/null
@@ -1 +0,0 @@
-/Makefile
diff --git a/src/plugins/server/.gitignore b/src/plugins/server/.gitignore
deleted file mode 100644
index 2da34c702bc6458d352da4d681c3928c90cca5ee..0000000000000000000000000000000000000000
--- a/src/plugins/server/.gitignore
+++ /dev/null
@@ -1,3 +0,0 @@
-/Makefile
-/tests/*/result
-/tests/**/dune
diff --git a/src/plugins/studia/.gitignore b/src/plugins/studia/.gitignore
deleted file mode 100644
index 0114e3d0f08985bcf97727dcde8f314ddb4410ae..0000000000000000000000000000000000000000
--- a/src/plugins/studia/.gitignore
+++ /dev/null
@@ -1,4 +0,0 @@
-/configure
-/Makefile
-/tests/ptests_config
-/tests/*/result
diff --git a/src/plugins/variadic/.gitignore b/src/plugins/variadic/.gitignore
deleted file mode 100644
index b18adc61b4fbcc6e775225047b0a86a8a8a8659d..0000000000000000000000000000000000000000
--- a/src/plugins/variadic/.gitignore
+++ /dev/null
@@ -1,4 +0,0 @@
-/configure
-/Makefile
-/tests/**/dune
-/tests/*/result
diff --git a/src/plugins/wp/.gitignore b/src/plugins/wp/.gitignore
index 7910a839f2d78300306bf93762c248d1bcc1581c..38dc5ba8d1505d967a07bc4b6a233e457b02235f 100644
--- a/src/plugins/wp/.gitignore
+++ b/src/plugins/wp/.gitignore
@@ -1,20 +1,3 @@
-/Makefile
-/.make-wp-coq
-/.make-wp-why3
-/.WP_API_GENERATED
-
-
-
-
-
-
-/tests/*/oracle/dune
-/tests/*/oracle_*/dune
-/tests/*/result
-/tests/*/result_*
-
 /doc/*/.make-class
 /doc/*/.make-icons
 /doc/*/.make-images
-
-