diff options
author | Siri Hansen <[email protected]> | 2017-04-12 11:17:36 +0200 |
---|---|---|
committer | Siri Hansen <[email protected]> | 2017-04-12 11:17:36 +0200 |
commit | 85c956da8303096bba8c5c2307aa07d6e007f620 (patch) | |
tree | a459523ab31ed2fe59ccfbf2dfdc3052f8c44758 /erts | |
parent | e19e06d91eff086b4649c5524b3756e9c8e79fbe (diff) | |
parent | 2a0986a613f87f942d260c9b1a4f8552ef66ab12 (diff) | |
download | otp-85c956da8303096bba8c5c2307aa07d6e007f620.tar.gz otp-85c956da8303096bba8c5c2307aa07d6e007f620.tar.bz2 otp-85c956da8303096bba8c5c2307aa07d6e007f620.zip |
Merge branch 'siri/ct/scale-on-valgrind'
* siri/ct/scale-on-valgrind:
[ct] Scale timetraps when running valgrind
Diffstat (limited to 'erts')
0 files changed, 0 insertions, 0 deletions