diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2018-07-01 15:14:31 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-07-01 15:14:31 +0200 |
| commit | 82e03b206652c23c8f79e7844cba9152a5d705cb (patch) | |
| tree | 8925c16a0aa373a924c3bce859e5c844180d79ce /misc | |
| parent | c17221b619d48b29ec2d79f8717f8786ceba4ca9 (diff) | |
| parent | b2e78e117ca5560f5b9290b2f333d054b9756a3e (diff) | |
Merge pull request #19871 from guilhermefelipecgs/fix_performance_ui
Fix performance for godot's interface
Diffstat (limited to 'misc')
0 files changed, 0 insertions, 0 deletions