1 files changed, 18 insertions, 0 deletions

diff --git a/.typerex b/.typerex
new file mode 100644
index 000000000..9ccd4e7ef
--- /dev/null
+++ b/.typerex
@@ -0,0 +1,18 @@
+parsing
+ide
+ide/utils
+interp
+kernel
+kernel/byterun
+lib
+library
+plugins
+pretyping
+proofs
+scripts
+states
+tactics
+theories
+tools
+tools/coqdoc
+toplevel
\ No newline at end of file