diff options
author | RĂ©mi Verschelde <remi@verschelde.fr> | 2016-09-06 18:06:29 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2016-09-06 18:06:29 +0200 |
commit | 78275aad871031ea0a4e20b901ba60d741415300 (patch) | |
tree | 4715ae47670daa54325e2151a806ca58fcabc653 /tools/editor/icons/icon_video_player.png | |
parent | a66a23fafedd975f28f865deaba0b4ba783f59ba (diff) | |
parent | 3b3502b758fb4127eca7f71dc0c41c95fac97025 (diff) |
Merge pull request #6364 from akien-mga/pr-tools-cleanup
Cleanup of the tools folder
Diffstat (limited to 'tools/editor/icons/icon_video_player.png')
0 files changed, 0 insertions, 0 deletions