diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2019-08-30 16:38:38 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-08-30 16:38:38 +0200 |
| commit | ba854bbc7bb0eae230299de4da8dfcb7caf74b69 (patch) | |
| tree | d101b823e9ab70b8b7125bdee57c06ea044541e5 /platform/android/java/src | |
| parent | efbd2bbf18eb98b07a4cbfe02c8768029c4842a7 (diff) | |
| parent | fde0579ed1d79ba1561c0dbc566dd8374dc8cf73 (diff) | |
Merge pull request #31796 from Chaosus/fix_icons
Fixed GraphEdit header icons to make them update when theme is changed
Diffstat (limited to 'platform/android/java/src')
0 files changed, 0 insertions, 0 deletions