diff options
author | Juan Linietsky <reduzio@gmail.com> | 2017-08-29 19:50:37 -0300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-08-29 19:50:37 -0300 |
commit | 1564a146b3ce8140a039eefbfcdaf8a2b8dc728b (patch) | |
tree | 6c4967db40638c278caa9cf98e87f5c08e31332f /editor/icons/dark/icon_h_separator.svg | |
parent | 06d7e36898d274c2403dcfbe5a83a9d858af0661 (diff) | |
parent | e3e5dfdaf47fd4171945667b6c5cda5261ec4c46 (diff) |
Merge pull request #10772 from djrm/pr_icons
Improved and added some icons
Diffstat (limited to 'editor/icons/dark/icon_h_separator.svg')
0 files changed, 0 insertions, 0 deletions