diff options
| author |  Pierre Letouzey <pierre.letouzey@inria.fr> | 2013-12-20 16:07:06 +0100 |
|---|---|---|
| committer | Pierre Letouzey <pierre.letouzey@inria.fr> | 2013-12-20 18:40:39 +0100 |
| commit | 60c390951cb2d771c16758a84bf592d06769da14 (patch) | |
| tree | dd3e0c434d923b90f0c4c679c908f9eff98aed3c /ide/session.mli | |
| parent | 6265121eb4a1d23b8012b89cc40a5e3a2c79f221 (diff) | |
coqc: execvp is now available even on win32
Diffstat (limited to 'ide/session.mli')
0 files changed, 0 insertions, 0 deletions