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