diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2019-01-29 10:11:49 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-01-29 10:11:49 +0100 |
| commit | 35bb52011a4cbcd8ca3779ab1761244f06a33127 (patch) | |
| tree | a0d5af182dadac768f7f9dce8ec545568f817792 /modules/gdscript/editor/gdscript_highlighter.cpp | |
| parent | 9007202a130d8f3216c66c60b06a6775743c504d (diff) | |
| parent | 9c308023bb787795a01197459fc34456adfd893e (diff) | |
Merge pull request #25391 from hpvb/fix-dri-prime-detect
Properly detect when to use DRI_PRIME
Diffstat (limited to 'modules/gdscript/editor/gdscript_highlighter.cpp')
0 files changed, 0 insertions, 0 deletions