diff options
| author | Pedro J. Estébanez <pedrojrulez@gmail.com> | 2016-06-28 18:58:40 +0200 |
|---|---|---|
| committer | Pedro J. Estébanez <pedrojrulez@gmail.com> | 2016-06-28 18:58:40 +0200 |
| commit | 92f10a358289df3d81bc796a9d37dbd90afb39a0 (patch) | |
| tree | 40dab2b392fb903b9afb6d714b102ee2f51bea99 /tools/editor/doc_font.h | |
| parent | a5e27503fd52589703d637d1245a023233a14a27 (diff) | |
Tidy up population of extensions list
Diffstat (limited to 'tools/editor/doc_font.h')
0 files changed, 0 insertions, 0 deletions