diff options
author | RĂ©mi Verschelde <remi@verschelde.fr> | 2016-06-22 00:35:29 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2016-06-22 00:35:29 +0200 |
commit | 3b5b893a0ea489585ba98361911fa210b7864a43 (patch) | |
tree | 0b5073802209072e7cc61e142408965eb67c8d59 /tools/editor/editor_fonts.h | |
parent | 5e082d583b1dc0fcdefe39960bcefda7955b8537 (diff) | |
parent | e53f18689927be0193b6c811f0de64ec6686860c (diff) |
Merge pull request #5350 from vnen/fix-classesxml-sorting
Fix classes.xml sorting
Diffstat (limited to 'tools/editor/editor_fonts.h')
0 files changed, 0 insertions, 0 deletions