From 3ab71e34bf1f43e7e5e403ae7ff1e9d0dc9478e8 Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr>
Date: Sat, 4 Jun 2016 16:25:16 +0200
Subject: Removing the Q_constr file.

---
 .gitignore | 1 -
 1 file changed, 1 deletion(-)

(limited to '.gitignore')

diff --git a/.gitignore b/.gitignore
index 55df76e30..116f88dd7 100644
--- a/.gitignore
+++ b/.gitignore
@@ -121,7 +121,6 @@ g_*.ml
 ide/project_file.ml
 parsing/compat.ml
 grammar/q_util.ml
-grammar/q_constr.ml
 grammar/tacextend.ml
 grammar/vernacextend.ml
 grammar/argextend.ml
-- 
cgit v1.2.3