diff options
| author | Juan Linietsky <reduzio@gmail.com> | 2015-05-16 16:18:17 -0300 |
|---|---|---|
| committer | Juan Linietsky <reduzio@gmail.com> | 2015-05-16 16:18:17 -0300 |
| commit | 70c2c7a3f90e501fa99c23feb2cc294df123adce (patch) | |
| tree | 814eae01b4f53fd5f835f4517c7890725e00ab90 /tools/editor/editor_fonts.h | |
| parent | 2882ff1b7e5008e87d753acc0da61f2e82fb7940 (diff) | |
| parent | 96a86fdf750fb4ae536158d559dc9cf2a7e8e727 (diff) | |
Merge pull request #1900 from guilhermefelipecgs/fix_#1898
Fix find option in Help tab. #1898
Diffstat (limited to 'tools/editor/editor_fonts.h')
0 files changed, 0 insertions, 0 deletions