diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2017-12-17 20:21:48 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-12-17 20:21:48 +0100 |
| commit | 4ee57026bb3d370427ac5ba5070504286f12c2ef (patch) | |
| tree | e7e46c9898197e5e5b9e2d8d826864d3aebfdd9a /platform/android | |
| parent | 3ce5a74df2572c48f12e86335c5c0a919d195b55 (diff) | |
| parent | 756c033adb9763de106663492bd7bdcccf808b7f (diff) | |
Merge pull request #14781 from djrm/pr_visual_improvements
General use Variant type icons, plus other icon updates.
Diffstat (limited to 'platform/android')
0 files changed, 0 insertions, 0 deletions