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 /tools/gallina.ml | |
parent | 6265121eb4a1d23b8012b89cc40a5e3a2c79f221 (diff) |
coqc: execvp is now available even on win32
Diffstat (limited to 'tools/gallina.ml')
0 files changed, 0 insertions, 0 deletions