diff options
author | Lukas Larsson <[email protected]> | 2017-03-03 09:49:06 +0100 |
---|---|---|
committer | Lukas Larsson <[email protected]> | 2017-03-03 09:49:06 +0100 |
commit | 7b419c0a38bd4dbc749621535a81d0d34f76ec57 (patch) | |
tree | 6df74a83b16aba1444ece5fd6db7c6a34ab12fbc /lib/dialyzer/src/dialyzer_plt.erl | |
parent | 369ef2ee5586e5cad2f16f0b8f956be011ba1550 (diff) | |
parent | 736fa5f5e53b76ee9caabdabfe0618c72cb73a02 (diff) | |
download | otp-7b419c0a38bd4dbc749621535a81d0d34f76ec57.tar.gz otp-7b419c0a38bd4dbc749621535a81d0d34f76ec57.tar.bz2 otp-7b419c0a38bd4dbc749621535a81d0d34f76ec57.zip |
Merge branch 'lukas/erts/configure_option_to_threadnames/OTP-14232' into maint
* lukas/erts/configure_option_to_threadnames/OTP-14232:
erts: Add configure option for setting threadnames
Diffstat (limited to 'lib/dialyzer/src/dialyzer_plt.erl')
0 files changed, 0 insertions, 0 deletions