diff options
| author | Emilio Jesus Gallego Arias | 2019-02-04 19:41:45 +0100 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2019-02-04 19:41:45 +0100 |
| commit | f177aa562ee76c1607350306363aaf844e48d07e (patch) | |
| tree | a3bce46ce35757aed1a56e4c9e3b818bbba78a0a /engine/evarutil.ml | |
| parent | c70412ec8b0bb34b7a5607c07d34607a147d834c (diff) | |
| parent | 5cf7224c1cd7507eabe415951faad687e0a8f119 (diff) | |
Merge PR #9468: Remove AppVeyor: superseded by Azure.
Reviewed-by: SkySkimmer
Reviewed-by: ejgallego
Diffstat (limited to 'engine/evarutil.ml')
0 files changed, 0 insertions, 0 deletions