diff options
author | RĂ©mi Verschelde <rverschelde@gmail.com> | 2017-11-30 08:08:36 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-11-30 08:08:36 +0100 |
commit | cf50ce86e04399f69a8b3f8da9728354cc6d04a0 (patch) | |
tree | 522425dd14496240d7a15a3c39fa8ec1e5df4b22 /thirdparty/glad | |
parent | 40a7b7e391e14fa53a0547c9c173a869f3da626e (diff) | |
parent | 4b80bc3303c88b545d63c6d8ecd63ad22d44ac3d (diff) |
Merge pull request #13407 from djrm/pr_fixes
Fixed editor settings disappearing (caused by uninitialized variable).
Diffstat (limited to 'thirdparty/glad')
0 files changed, 0 insertions, 0 deletions