From 0b1027f65deb1f22972e304c24a1449b32470018 Mon Sep 17 00:00:00 2001
From: Maxime Dénès
Date: Wed, 31 Oct 2018 19:10:25 +0100
Subject: Remove checker files from .gitignore

---
 .gitignore | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/.gitignore b/.gitignore
index f9e43a0eb7..e513837445 100644
--- a/.gitignore
+++ b/.gitignore
@@ -150,10 +150,6 @@ kernel/byterun/coq_jumptbl.h
 kernel/copcodes.ml
 ide/index_urls.txt
 .lia.cache
-checker/names.ml
-checker/names.mli
-checker/esubst.ml
-checker/esubst.mli
 
 # emacs save files
 *~
-- 
cgit v1.2.3