diff options
| author | Paul Steckler | 2017-06-21 15:32:18 -0400 |
|---|---|---|
| committer | Paul Steckler | 2017-06-26 10:57:19 -0400 |
| commit | c45e36f4de1b803aac623cb819f39842e54837d6 (patch) | |
| tree | 7e292c878e4175483ca35e38ff38e9db75182fcf /API/API.mli | |
| parent | 4fbb431c81116b04e9c34cd7c6ffbf5d5f204f5e (diff) | |
disable async on Windows by default
Diffstat (limited to 'API/API.mli')
0 files changed, 0 insertions, 0 deletions