diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2019-05-29 18:59:19 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-05-29 18:59:19 +0200 |
| commit | c11bf884e0a127fb714a575f40fdc0b73fe54f2d (patch) | |
| tree | f7161979f36b0c521d38a5a26f0203f683cd33bb /modules/gdscript/gdscript_parser.h | |
| parent | bc816f93c6ee15dd7a4e1a280dc0ec80c038dddf (diff) | |
| parent | e03f9ead2148839a39039bef4eefdb1e2770f24f (diff) | |
Merge pull request #25012 from avencherus/prevent-duplicate-keyframes
Do precision comparison to prevent the creation of keyframes with a time that already exists
Diffstat (limited to 'modules/gdscript/gdscript_parser.h')
0 files changed, 0 insertions, 0 deletions