diff options
| author | Maxime Dénès | 2017-09-04 16:51:08 +0200 |
|---|---|---|
| committer | Maxime Dénès | 2017-09-04 16:51:08 +0200 |
| commit | a4d63bfe7d8b5025321a3c0ad5f4d13758bfbd56 (patch) | |
| tree | 0eb0e324051c936d400a3f4cfe016bdd2e921145 /kernel | |
| parent | 3072bd9d080984833f5eb007bf15c6e9305619e3 (diff) | |
Avoid reinstalling some Cygwin dependencies on AppVeyor.
For some reason, OPAM was not happy after we reinstalled curl.
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions