diff options
author | RĂ©mi Verschelde <rverschelde@gmail.com> | 2017-07-05 10:15:50 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-07-05 10:15:50 +0200 |
commit | 9e460020de66932f7fe4b62560a718b190ecb062 (patch) | |
tree | 98e187fe3e634d0946d05e1e04f65db46b65ca12 /scene/resources/default_theme/checked.png | |
parent | 7263137dba86cd308afc2016fafcb2793c3d9073 (diff) | |
parent | c1699d807f1d7f7c84acd5d47dfe99bb0b5737a0 (diff) |
Merge pull request #9502 from anakimluke/remove_outdated_comment
Removed outdated comment.
Diffstat (limited to 'scene/resources/default_theme/checked.png')
0 files changed, 0 insertions, 0 deletions