diff options
| author | bunnei <bunneidev@gmail.com> | 2018-07-22 11:47:07 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-07-22 11:47:07 -0700 |
| commit | 5ae803cdabbb689506ed68271b28ee624b2de0bb (patch) | |
| tree | 0567163d46b763ca3b35d052fa3dcc4bdf7a1042 /src/core/loader | |
| parent | 349e7974a59864254a6e11216507ff72fc107e76 (diff) | |
| parent | 555a0638ec71676830e7cc358c8a765707c2ef2a (diff) | |
Merge pull request #773 from Subv/gl_ext_check
Frontend: Check for more required OpenGL extensions during startup.
Diffstat (limited to 'src/core/loader')
0 files changed, 0 insertions, 0 deletions