diff options
author | Rémi Verschelde <rverschelde@gmail.com> | 2019-01-21 11:12:51 +0100 |
---|---|---|
committer | Rémi Verschelde <rverschelde@gmail.com> | 2019-01-21 11:12:55 +0100 |
commit | 769341e180d7fb06d069ae5124e8c3caa3abfc8c (patch) | |
tree | f42f5a33907d356ee35a5e9bad858769677cedd7 /editor/icons | |
parent | bef383985e7be5c8253e32758d96fa7a6e3fd257 (diff) |
Cleanup after @reduz :)
Fixes #25172.
Diffstat (limited to 'editor/icons')
0 files changed, 0 insertions, 0 deletions