diff options
author | Max Hilbrunner <mhilbrunner@users.noreply.github.com> | 2018-05-07 09:37:11 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-05-07 09:37:11 +0200 |
commit | e15305721da0e4478b62efcda3e79f1c04e7a901 (patch) | |
tree | eb14ba13a09a17200ecd35c275865b40e1827b8e /platform/osx | |
parent | 9b0c487dd43116f16848146f1ea0904eae1ae888 (diff) | |
parent | f714637e58034b6340fa0725c7935a1ae29d92c0 (diff) |
Merge pull request #18454 from KidRigger/working_timer
Allows setting the Timer wait_time in start method.
Diffstat (limited to 'platform/osx')
0 files changed, 0 insertions, 0 deletions