diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2018-03-02 12:53:24 +0100 |
|---|---|---|
| committer | Rémi Verschelde <rverschelde@gmail.com> | 2018-03-02 13:33:53 +0100 |
| commit | ab001d830b3822cbde4d987f7f49bb77e2edc2a0 (patch) | |
| tree | 892f8a730bca16a8cebf1c5be627461e72a0e2dd /editor/plugins/theme_editor_plugin.h | |
| parent | 4ccc8e57f98024b913bafbf290b4093658674e68 (diff) | |
Fix serialization of identifiers with non printable ASCII characters
Fixes #6888.
Diffstat (limited to 'editor/plugins/theme_editor_plugin.h')
0 files changed, 0 insertions, 0 deletions