diff options
| author | Marc Gilleron <marc.gilleron@gmail.com> | 2018-06-17 18:10:41 +0200 |
|---|---|---|
| committer | Marc Gilleron <marc.gilleron@gmail.com> | 2018-06-18 21:03:55 +0200 |
| commit | 4705dc4f0003e0bed87e3672dd977b3decdbd8b9 (patch) | |
| tree | b6019c3d1f037f725cf712753613c3a8b3b6e34b /misc/scripts | |
| parent | a74e1514206af1b8456ece2cf009b841b86b72f1 (diff) | |
Expose OS.get_ticks_usec()
Diffstat (limited to 'misc/scripts')
0 files changed, 0 insertions, 0 deletions