diff options
| author | Juan Linietsky <reduzio@gmail.com> | 2018-05-28 08:47:09 -0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-05-28 08:47:09 -0300 |
| commit | 5bb412f389c443d7562bdd28b973936c40c7a56e (patch) | |
| tree | 25d5bc1ce9bad1fe4a0589dd547a3273f087f12e /editor/editor_plugin_settings.h | |
| parent | 856d945248a8ff3518de80eba48f19d2388c06f9 (diff) | |
Revert "Make the performance reporting update frequency customizable"
Diffstat (limited to 'editor/editor_plugin_settings.h')
0 files changed, 0 insertions, 0 deletions