diff options
| author | Maxime Dénès | 2017-07-28 18:14:38 +0200 |
|---|---|---|
| committer | Maxime Dénès | 2017-07-28 18:14:38 +0200 |
| commit | eaff3b36a178416f1828d75a4d46afc687953cea (patch) | |
| tree | 828a726bf9c8394cc23f5e2c3f39039b9aa49617 /API/API.mli | |
| parent | b8f9a259ab0a24a73b477b9e75a6ea3b3cb47943 (diff) | |
| parent | c45e36f4de1b803aac623cb819f39842e54837d6 (diff) | |
Merge PR #823: Async off in Windows by default in CoqIDE
Diffstat (limited to 'API/API.mli')
0 files changed, 0 insertions, 0 deletions