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