diff options
| author |  letouzey <letouzey@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2012-09-20 17:25:22 +0000 |
|---|---|---|
| committer | letouzey <letouzey@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2012-09-20 17:25:22 +0000 |
| commit | 907c5df7bad31404e9f4a8384e4cc43236e4ba9a (patch) | |
| tree | d3fc6793ee224fca4504335f2bb46b8913517ce6 /tools/coqdep_lexer.mli | |
| parent | ac98362d168bc96433bf09ced8ee992bce76483e (diff) | |
Avoid generating ide/coqide_main*.ml as cleartext (except if READABLE_ML4 is used)
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15824 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'tools/coqdep_lexer.mli')
0 files changed, 0 insertions, 0 deletions