diff options
author | RĂ©mi Verschelde <rverschelde@gmail.com> | 2020-10-08 15:17:32 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-10-08 15:17:32 +0200 |
commit | abbd58dcb07dcedfb105c513368d782634b0e731 (patch) | |
tree | c1a3259833ae54cdd9531861201e596e25ea1689 /thirdparty/glslang | |
parent | 899b9004278b6998eda12bb486c854eb8c41bbb1 (diff) | |
parent | bb2684f4a71ea6cc150824223a3ec864770a56e2 (diff) |
Merge pull request #42621 from KoBeWi/into_nothingness_no_more
Cancel rename if file does not exist
Diffstat (limited to 'thirdparty/glslang')
0 files changed, 0 insertions, 0 deletions