From 79bb444169f0ac919cf9672fb371ee42d98ead2e Mon Sep 17 00:00:00 2001
From: Enrico Tassi <Enrico.Tassi@inria.fr>
Date: Tue, 3 Jan 2017 10:53:59 +0100
Subject: ide/project_file.ml4 -> lib/coqProject_file.ml4 + .mli

The .mli only acknowledges the current API. I'm not guilty your honor!
---
 .gitignore | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to '.gitignore')

diff --git a/.gitignore b/.gitignore
index 8bbfce5d8..6e6f01a43 100644
--- a/.gitignore
+++ b/.gitignore
@@ -128,7 +128,7 @@ ide/xml_lexer.ml
 
 g_*.ml
 
-ide/project_file.ml
+lib/coqProject_file.ml
 parsing/cLexer.ml
 plugins/ltac/coretactics.ml
 plugins/ltac/extratactics.ml
-- 
cgit v1.2.3