diff options
author | RĂ©mi Verschelde <rverschelde@gmail.com> | 2019-02-15 09:09:23 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-02-15 09:09:23 +0100 |
commit | 97aa66597dcac06a7aee8be0e915803916024baf (patch) | |
tree | c57a6d57dd3f701d18ec949fe9d3dc474b851bf3 /platform | |
parent | 89eb79aef1aac645358664a8245afe35b30da130 (diff) | |
parent | 5ec4f14a245b66b3e268f3c6cbb68a85336c7ca6 (diff) |
Merge pull request #25886 from luizcarlos1405/master
Fix AnimationPlayer bug where it wouldn't reset its position when finished
Diffstat (limited to 'platform')
0 files changed, 0 insertions, 0 deletions