diff options
| author | George Marques <george@gmarqu.es> | 2016-07-28 21:23:05 -0300 |
|---|---|---|
| committer | George Marques <george@gmarqu.es> | 2016-07-28 21:26:21 -0300 |
| commit | 3cdb5e0d1fff7a4d4b1dc1dcca4d024192df13d2 (patch) | |
| tree | 60d73c8aac21b3b7c40fb6b15ff82c87d91f52f4 /tools/scripts | |
| parent | 08ba6086be75aac58748417808fed5462608f498 (diff) | |
Fix editor icons source file generation
Also removes the unused make_icons.py file.
Diffstat (limited to 'tools/scripts')
0 files changed, 0 insertions, 0 deletions