diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2017-08-29 07:46:47 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-08-29 07:46:47 +0200 |
| commit | 13289002ddc0f3ceed897df05151cca88947cdce (patch) | |
| tree | 0ce53fbd4f1a04d4507cf01539c52f128d678501 /core/io/stream_peer.h | |
| parent | 932ab11dd12e26f0d306df8525abf39e94d8ec93 (diff) | |
| parent | e5a71e3f95ed739a92479f93fe481cf97ca11e58 (diff) | |
Merge pull request #10705 from djrm/pr_gizmo_icons
Added missing gizmo icons and fixed ugly looking gizmo icons.
Diffstat (limited to 'core/io/stream_peer.h')
0 files changed, 0 insertions, 0 deletions