diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2018-01-04 14:50:15 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-01-04 14:50:15 +0100 |
| commit | dc2cc6bc2b2c5ca770675267bff98f434566866b (patch) | |
| tree | 1cd55722e7b148e3f44616f011dee1b1d72e4283 /editor/editor_profiler.cpp | |
| parent | da4edf83d3911aae7128e71a0560d275f9631525 (diff) | |
| parent | bd0a9f4bd607a324eb2220502a506abad5f33c10 (diff) | |
Merge pull request #15186 from GodotExplorer/default-theme
Fix errors with custom theme and custom font in project settings.
Diffstat (limited to 'editor/editor_profiler.cpp')
0 files changed, 0 insertions, 0 deletions