diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2018-09-16 11:28:15 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-09-16 11:28:15 +0200 |
| commit | 5614692a1a82ef0ce6fa1d268903ff38787bd728 (patch) | |
| tree | 4cb00e982c8cf1765b34d7fdfae5668da7cc5de1 /editor/editor_plugin_settings.h | |
| parent | 787be50f1760be541e97b18a371abccc9c9b1ac9 (diff) | |
| parent | 75d5d81b8aa745e4239ff05f16e5247d077b47c8 (diff) | |
Merge pull request #22133 from YeldhamDev/all_oks_shall_be_banished
Remove unnecessary "OK"s text settings
Diffstat (limited to 'editor/editor_plugin_settings.h')
0 files changed, 0 insertions, 0 deletions