diff options
author | Juan Linietsky <reduzio@gmail.com> | 2016-07-16 09:28:49 -0300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2016-07-16 09:28:49 -0300 |
commit | 24d86e33a6ef0d787a37639831ae582a397d821c (patch) | |
tree | aa25cae9aa216686dbabbd9211ded65f94b924de /tools/editor/editor_fonts.cpp | |
parent | f07d4f556a875155625503b7217e5955c2a1d5c2 (diff) | |
parent | 1492fd846073a4fa643365a8a5d4e021868c0e48 (diff) |
Merge pull request #5467 from RandomShaper/enhance-tidy-extensions
Enhance/tidy file extensions management
Diffstat (limited to 'tools/editor/editor_fonts.cpp')
0 files changed, 0 insertions, 0 deletions