From 7aa14d679074f3c0c6a3f1c81c4f73c2d1c8c17e Mon Sep 17 00:00:00 2001
From: pboutill <pboutill@85f007b7-540e-0410-9357-904b9bb8a0f7>
Date: Thu, 1 Sep 2011 09:51:22 +0000
Subject: Add option -f to coqide

to specify where to look the project file

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@14441 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 ide/ide.mllib | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'ide/ide.mllib')

diff --git a/ide/ide.mllib b/ide/ide.mllib
index 8f3a6c353..9bbf9b0d9 100644
--- a/ide/ide.mllib
+++ b/ide/ide.mllib
@@ -13,6 +13,7 @@ Typed_notebook
 Config_lexer
 Utf8_convert
 Preferences
+Project_file
 Ideutils
 Ideproof
 Coq_lex
@@ -22,5 +23,4 @@ Coq
 Coq_commands
 Command_windows
 Coqide_ui
-Project_file
 Coqide
-- 
cgit v1.2.3