diff options
| author | Emilio Jesus Gallego Arias | 2018-06-17 12:51:59 +0200 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2018-06-17 12:51:59 +0200 |
| commit | 955e5a63cd2405632bb535b81bbad2fbe74d0394 (patch) | |
| tree | 16006b5eabd40eeef4127e393bc0cf99a40561fd /vernac/comProgramFixpoint.ml | |
| parent | 9f8345d6bddfe2965ef9dc0155092348d5166f51 (diff) | |
| parent | acc142fcee47cd8202dd1ad67e39fd569b09bbd7 (diff) | |
Merge PR #7828: [Spawn] no control sock on unix
Diffstat (limited to 'vernac/comProgramFixpoint.ml')
0 files changed, 0 insertions, 0 deletions