diff options
author | Enrico Tassi <Enrico.Tassi@inria.fr> | 2014-01-23 15:43:51 +0100 |
---|---|---|
committer | Enrico Tassi <Enrico.Tassi@inria.fr> | 2014-01-26 14:20:52 +0100 |
commit | 26b6134c3cd333d7fc78c665be5fd1394a546395 (patch) | |
tree | bcdd8e21baced63afca46edcc0e3ef6f56f85aec /lib/spawn.ml | |
parent | 9273e81b853a8e107da57e902ce130ad1e54f928 (diff) |
configure.ml fixed wrt Win32 + byte-only + coqide
Diffstat (limited to 'lib/spawn.ml')
0 files changed, 0 insertions, 0 deletions