diff options
author | Hans Bolinder <[email protected]> | 2018-02-26 13:22:49 +0100 |
---|---|---|
committer | GitHub <[email protected]> | 2018-02-26 13:22:49 +0100 |
commit | 1c7938bc9539f1c06b5493ced9f265e05a4824af (patch) | |
tree | d40fe6c50d4c5d9e4039b2275b12e830a0b73edb /plt/.gitignore | |
parent | 7914843737e490c49b0918b67a093e68415b3beb (diff) | |
parent | 0018bf63fcce35f6704cff5c34d398b32706fd75 (diff) | |
download | otp-1c7938bc9539f1c06b5493ced9f265e05a4824af.tar.gz otp-1c7938bc9539f1c06b5493ced9f265e05a4824af.tar.bz2 otp-1c7938bc9539f1c06b5493ced9f265e05a4824af.zip |
Merge pull request #1719 from josevalim/jv-faster-dialyzer-md5
dialyzer: Compute MD5s using the .beam file (OTP-14937)
Diffstat (limited to 'plt/.gitignore')
0 files changed, 0 insertions, 0 deletions