diff options
author | Rémi Verschelde <rverschelde@gmail.com> | 2017-07-13 11:50:28 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-07-13 11:50:28 +0200 |
commit | 5cd4fdfda506c28fd99c2af24b7fe46a164015d2 (patch) | |
tree | bf500bc5eba9a8cd975484ce5f07a9407181beab /misc/dist/ios_xcode | |
parent | d331b84ae343715f3fce96c4a0e753de5368ae0f (diff) | |
parent | 12db63df14e78020ad99d044aad5b9d6d64c207c (diff) |
Merge pull request #9621 from djrm/Icons
Added some missing icons, fixed search button as zoom in some ui elem…
Diffstat (limited to 'misc/dist/ios_xcode')
0 files changed, 0 insertions, 0 deletions