diff options
| author | Emilio Jesus Gallego Arias | 2018-11-22 16:09:46 +0100 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2018-11-27 17:04:42 +0100 |
| commit | e6c98655e3c98ea6b9fed5e906edf860da097707 (patch) | |
| tree | ab23a6d1300eb2f99216cdd1938c2d2b0c6a9d82 /dev/doc | |
| parent | 39bf8df76fc1093f3efa672284421c884319c89d (diff) | |
[ci] [appveyor] Move Appveyor to OPAM 2.
We update the Appveyor configuration so it uses OPAM 2.0, and thus it
can install newer packages.
Diffstat (limited to 'dev/doc')
0 files changed, 0 insertions, 0 deletions