diff options
| author | Théo Zimmermann | 2019-01-23 09:29:13 +0100 |
|---|---|---|
| committer | Théo Zimmermann | 2019-01-23 09:29:13 +0100 |
| commit | c845fed94ab68f7891e08d0a8aabc1a7ddff11eb (patch) | |
| tree | a2e96b16c8d3b669d37969008a9b32d0f2347928 /plugins | |
| parent | 9e7f3ab6bee7543fbd2929e5c909a65c4d46a6bf (diff) | |
| parent | 9f58e0a4fa814484f188236ebb39e86dd737d218 (diff) | |
Merge PR #9382: Transfer maintenance of appveyor infrastructure to the CI team
Reviewed-by: SkySkimmer
Reviewed-by: Zimmi48
Diffstat (limited to 'plugins')
0 files changed, 0 insertions, 0 deletions