diff options
author | RĂ©mi Verschelde <rverschelde@gmail.com> | 2018-12-20 11:31:16 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-12-20 11:31:16 +0100 |
commit | a8faa5504279f867adb6f50f768d3cf00594dc4f (patch) | |
tree | f4751774263c4b2dc184044436539274ce3504a1 /core/input_map.cpp | |
parent | b3f6e54cc61086fc3a3d2af170a86ea6a6eebf73 (diff) | |
parent | 84d060c768c10145374d48ebd2b3f00430c73638 (diff) |
Merge pull request #24485 from volzhs/system-time-ms
Added OS.get_system_time_msecs()
Diffstat (limited to 'core/input_map.cpp')
0 files changed, 0 insertions, 0 deletions