diff options
| author | Michael Soegtrop | 2020-01-23 20:02:35 +0100 |
|---|---|---|
| committer | Michael Soegtrop | 2020-01-23 20:02:35 +0100 |
| commit | f19800bee494475f133c79399d3950378eb151c5 (patch) | |
| tree | 7f510ffe7e1431073d27c56be089a3efd58a3ab4 /plugins | |
| parent | 9508ca5b3f4611940be532a7a8d9078e0605a05f (diff) | |
Changed Gitlab CI runner tag for Windows to windows-inria
Diffstat (limited to 'plugins')
0 files changed, 0 insertions, 0 deletions