diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2016-06-19 01:04:46 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2016-06-19 01:04:46 +0200 |
| commit | bd79aa52ab2ef7eec4cad55d373b6e4fc7de7731 (patch) | |
| tree | ec41d5b79802cae02a9f6062edf7c136ff0931fa /tools/editor/icons/source | |
| parent | 17fbf473fdd12f0a9a351521256d5c34880cb427 (diff) | |
| parent | 681969d5b396c46d187e5005b6f0853605531e7e (diff) | |
Merge pull request #4158 from Paulb23/add_fnt_extension_issue_162
Adds .fnt extension if not provided, issue #162
Diffstat (limited to 'tools/editor/icons/source')
0 files changed, 0 insertions, 0 deletions