diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2016-07-29 07:27:54 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2016-07-29 07:27:54 +0200 |
| commit | 2dd83e28b97d7bc070e6641b7d6939b02b4067bc (patch) | |
| tree | e5b093c7733852383386eccb2a4fc0eea63e3642 /tools/editor/editor_settings.h | |
| parent | 829d89631e46ddef4f532666539d0cc82f287dcf (diff) | |
| parent | 12ddc8703296abc5f1e88d9467f0ec0070fef103 (diff) | |
Merge pull request #5957 from djrm/new_icons
New http request and tutorials icon
Diffstat (limited to 'tools/editor/editor_settings.h')
0 files changed, 0 insertions, 0 deletions