diff options
| author | Emilio Jesus Gallego Arias | 2020-06-05 17:35:05 +0200 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2020-06-05 17:35:05 +0200 |
| commit | 7bfd2bfe28dc8e780a36549ff848ac49cce1082f (patch) | |
| tree | ebb88a53fb0659daf3f1421ba590c3d53e26d6fb /dev | |
| parent | c937f72bb804a74f89fb0ccf7aa7298f8d33eaf4 (diff) | |
| parent | 2beed70e255ee944d94a8ce09b2dfa562e1ce315 (diff) | |
Merge PR #12437: Fix ONLY_WINDOWS in .gitlab-ci.yml.
Reviewed-by: ejgallego
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions