diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2018-06-20 08:39:18 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-06-20 08:39:18 +0200 |
| commit | a9acdd84b7a6fd074f21d500a64976326f6cbb67 (patch) | |
| tree | bc5639787df66ca06738486915232e48c627fc7b /editor/editor_settings.h | |
| parent | d433310580e6fd5263abac2db7fb4c86d969e98e (diff) | |
| parent | 34045051d29a94797415e693204862ddf155f564 (diff) | |
Merge pull request #19662 from marcelofg55/profiler_update
Fix profiler not updating on realtime
Diffstat (limited to 'editor/editor_settings.h')
0 files changed, 0 insertions, 0 deletions