diff options
author | RĂ©mi Verschelde <rverschelde@gmail.com> | 2018-05-12 09:40:14 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-05-12 09:40:14 +0200 |
commit | d5a0d653c8936b8439a8ab978bdf7495337ec557 (patch) | |
tree | cce4c76139b9b8ee9f4ccd7e9443254decee3844 /thirdparty/glad | |
parent | 9af5cab32ed4fab8bed28da2349cb08b45730342 (diff) | |
parent | 9ecc26ce598dc081063340de3fe1ea8d5d57eba3 (diff) |
Merge pull request #18800 from dragmz/removefile
fix for removing files
Diffstat (limited to 'thirdparty/glad')
0 files changed, 0 insertions, 0 deletions