diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2020-03-28 12:57:13 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-03-28 12:57:13 +0100 |
| commit | bbbdabc771662d0effb739237967982cd201ea89 (patch) | |
| tree | 3bd24159fcd06e7ea6c6ae3ed02864b0d3e24edf /servers/rendering/rendering_server_globals.h | |
| parent | fcfffd729789cd80aa77056ca089697b52297d04 (diff) | |
| parent | 06e8740184eb056df7ca67c75b828435d0f004fe (diff) | |
Merge pull request #37372 from dankan1890/quick_fix
Fixed probable typo in renaming.
Diffstat (limited to 'servers/rendering/rendering_server_globals.h')
0 files changed, 0 insertions, 0 deletions