diff options
| author | Maxime Dénès | 2018-11-29 08:27:49 +0100 |
|---|---|---|
| committer | Maxime Dénès | 2018-11-29 08:27:49 +0100 |
| commit | 4b12cd00e1d32961a4dc04e2c2dcbfe6ed0002fa (patch) | |
| tree | 0295e44ec86a55097a0d1f5718b1250e04305863 /dev/doc/release-process.md | |
| parent | 1ca73b4ba5e16af3baed6c804d0d0eeaac9eccd5 (diff) | |
| parent | e6c98655e3c98ea6b9fed5e906edf860da097707 (diff) | |
Merge PR #9054: [ci] [appveyor] Move Appveyor to OPAM 2.
Diffstat (limited to 'dev/doc/release-process.md')
0 files changed, 0 insertions, 0 deletions