diff options
| author | Rickard Green <[email protected]> | 2016-02-02 10:17:05 +0100 |
|---|---|---|
| committer | Rickard Green <[email protected]> | 2016-02-02 10:17:05 +0100 |
| commit | 178cff0a09223da707ca8472a71dbe4125466493 (patch) | |
| tree | df849d4a871940a13ae53e28e6de25a030f54ffb /system/doc/html | |
| parent | 5dac3400b00e499cb7c436b6b71c510c718d92cf (diff) | |
| parent | 3f33428db9aea0d767295322c4e882a5c6bbf7db (diff) | |
| download | otp-178cff0a09223da707ca8472a71dbe4125466493.tar.gz otp-178cff0a09223da707ca8472a71dbe4125466493.tar.bz2 otp-178cff0a09223da707ca8472a71dbe4125466493.zip | |
Merge branch 'rickard/monotonic-time-improvements/OTP-13222' into maint
* rickard/monotonic-time-improvements/OTP-13222:
Introduce time management in native APIs
Introduce time warp safe replacement for safe_fixed option
Introduce time warp safe trace timestamp formats
Diffstat (limited to 'system/doc/html')
0 files changed, 0 insertions, 0 deletions