diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2020-02-20 07:13:54 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-02-20 07:13:54 +0100 |
| commit | 353e2071d06e5e4cfaaa5ce99e5f13ef7e689ddd (patch) | |
| tree | 6676592039e79b4f0fdd1b194c7e24c74ad8368c /editor/editor_settings.h | |
| parent | 3afc47bbd68c3ae169ef8e0a051ee71226dca647 (diff) | |
| parent | a31bc1b0ba608ef340068676f6709621a37f2140 (diff) | |
Merge pull request #36340 from nathanwfranke/fix-signal-errors
Fix two signal errors, remove unused break_request signals in profilers
Diffstat (limited to 'editor/editor_settings.h')
0 files changed, 0 insertions, 0 deletions