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 /thirdparty | |
| parent | 06d7e36898d274c2403dcfbe5a83a9d858af0661 (diff) | |
| parent | e3e5dfdaf47fd4171945667b6c5cda5261ec4c46 (diff) | |
Merge pull request #10772 from djrm/pr_icons
Improved and added some icons
Diffstat (limited to 'thirdparty')
0 files changed, 0 insertions, 0 deletions