diff options
| author | letouzey | 2013-01-12 20:02:48 +0000 |
|---|---|---|
| committer | letouzey | 2013-01-12 20:02:48 +0000 |
| commit | 2299413926668ff322cfd139e78299b4733eacd0 (patch) | |
| tree | bdf4535ebb80f90b1b25ace7b1c217ba603d1f04 /kernel/nativelambda.mli | |
| parent | 0214cf25a5572afc4fa47cf337c8de8eac7501fc (diff) | |
Envar: in w32, add .exe when searching for caml binaries
Based on a patch by Pierre-Yves Strub
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16124 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'kernel/nativelambda.mli')
0 files changed, 0 insertions, 0 deletions