aboutsummaryrefslogtreecommitdiffhomepage
path: root/ide/config_lexer.mll
diff options
context:
space:
mode:
authorGravatar Enrico Tassi <enrico.tassi@inria.fr>2015-03-10 17:33:14 +0100
committerGravatar Enrico Tassi <enrico.tassi@inria.fr>2015-03-11 11:44:54 +0100
commit106b002b8e2d45c8824b145f29f5680317de78c4 (patch)
treef4f3d88b93bf11b46928af2d60f289a71bee1f68 /ide/config_lexer.mll
parentd26602693de76604648e24f103ba6aa5f80fb556 (diff)
CoqIDE: load first _CoqProject file found and notify the user
Diffstat (limited to 'ide/config_lexer.mll')
0 files changed, 0 insertions, 0 deletions