diff options
| author | Maxime Dénès | 2017-06-27 16:03:58 +0200 |
|---|---|---|
| committer | Enrico Tassi | 2017-07-20 15:40:48 +0200 |
| commit | d70b9e9b901a836f80180200cfd591e05839ee28 (patch) | |
| tree | 84f583b210a91a23ed8dc00c5f74e9b61d8bd1c4 /API/API.ml | |
| parent | 8fdc88a79837c70857c51fcb3e0930f1ac3e9c8a (diff) | |
Print failure logs on appveyor.
Diffstat (limited to 'API/API.ml')
0 files changed, 0 insertions, 0 deletions