diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2019-07-26 00:01:06 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-07-26 00:01:06 +0200 |
| commit | d483a85a0ff4462fe7bff5d5ff6ea69c66cab417 (patch) | |
| tree | e71f3eea9551e56ffe49f74b4a48fba2debffc82 /editor | |
| parent | b6ab5b5e2bbdc6881f65c56a2c4ab39edbd6a87b (diff) | |
| parent | 21297a533eb40b939aac1afb62cae2c1ddcb551a (diff) | |
Merge pull request #30829 from santouits/shadow-local
fix getting correct mingw-w64 version
Diffstat (limited to 'editor')
0 files changed, 0 insertions, 0 deletions