From 229a876f63b17fa9d472f7e972a3004fa1e50294 Mon Sep 17 00:00:00 2001
From: Gaëtan Gilbert
Date: Sat, 5 Jan 2019 18:23:45 +0100
Subject: Remove outdated gitignore coqprojectfile.ml

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

diff --git a/.gitignore b/.gitignore
index 0411247abf..2df98f7c59 100644
--- a/.gitignore
+++ b/.gitignore
@@ -134,7 +134,6 @@ coqpp/coqpp_parse.mli
 
 g_*.ml
 
-lib/coqProject_file.ml
 plugins/ltac/coretactics.ml
 plugins/ltac/extratactics.ml
 plugins/ltac/extraargs.ml
-- 
cgit v1.2.3