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/x11/detect_prime.h | |
| 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/x11/detect_prime.h')
0 files changed, 0 insertions, 0 deletions