diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2016-06-19 00:17:31 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2016-06-19 00:17:31 +0200 |
| commit | 2ca331d95902266239b2ecbdef8dc5831bc40b6e (patch) | |
| tree | 13e697003d66377827fb5f93b0a5927da930e0a1 /platform | |
| parent | 0bbb0d0caadcabb4228482424a3809c7132aa557 (diff) | |
| parent | cb013e87031aa2d4453eaaee87b6b104ba625123 (diff) | |
Merge pull request #5236 from djrm/fix_#5228
Visible path editor icons, fixes #5228
Diffstat (limited to 'platform')
0 files changed, 0 insertions, 0 deletions