diff options
| author | George Marques <george@gmarqu.es> | 2022-07-13 09:24:36 -0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-07-13 09:24:36 -0300 |
| commit | ad11d264b7921a0f6abc027217cb50ee082d373e (patch) | |
| tree | 594793c9a3153558e24d9f20f6d84c94abdbf066 /editor/editor_settings.h | |
| parent | d51aac11379b6883987ac25c3bfcc6ddc99f70b1 (diff) | |
| parent | 5a906a33d997aae5f6420f29b16922fe310f8386 (diff) | |
Merge pull request #62901 from cdemirer/prevent-unnecessary-additional-parser-error
Diffstat (limited to 'editor/editor_settings.h')
0 files changed, 0 insertions, 0 deletions