1 files changed, 0 insertions, 53 deletions
diff --git a/.ocamlformat-ignore b/.ocamlformat-ignore
deleted file mode 100644
index b1f6597140..0000000000
--- a/.ocamlformat-ignore
+++ /dev/null
@@ -1,53 +0,0 @@
-configure.ml
-dev/*
-coqpp/*
-lib/*
-clib/*
-config/*
-checker/*
-kernel/*
-library/*
-engine/*
-gramlib/*
-parsing/*
-interp/*
-pretyping/*
-printing/*
-proofs/*
-stm/*
-tactics/*
-theories/*
-user-contrib/*/*
-vernac/*
-toplevel/*
-topbin/*
-ide/*
-ide/*/*
-doc/plugin_tutorial/*/*/*
-doc/tools/docgram/*
-test-suite/*
-test-suite/*/*/*
-test-suite/*/*/*/*
-test-suite/*/*/*/*/*
-tools/*
-tools/*/*
-plugins/btauto/*
-plugins/cc/*
-plugins/derive/*
-plugins/extraction/*
-plugins/firstorder/*
-plugins/fourier/*
-plugins/funind/*
-plugins/ltac/*
-plugins/nsatz/*
-plugins/omega/*
-plugins/rtauto/*
-plugins/setoid/*
-plugins/ing/*
-plugins/setoid_ring/*
-plugins/ssr/*
-plugins/ssrmatching/*
-plugins/syntax/*
-# Enabled: micromega
-# plugins/micromega/*
-plugins/micromega/micromega.ml