diff options
| author | Théo Zimmermann | 2017-10-19 13:25:48 +0200 |
|---|---|---|
| committer | Théo Zimmermann | 2017-10-19 13:25:48 +0200 |
| commit | 2bf256d4701af63400c222054fa7a31ea6df49e5 (patch) | |
| tree | 85ba9597df5a740b49a1a812926d063d556ac265 /API/API.mli | |
| parent | 6bda57bd75efe55fe1f7774f932e9ef5a65aeaaf (diff) | |
Add AppVeyor badge next to Travis badge.
Diffstat (limited to 'API/API.mli')
0 files changed, 0 insertions, 0 deletions