diff options
author | Lukas Larsson <[email protected]> | 2019-08-06 16:25:59 +0200 |
---|---|---|
committer | Lukas Larsson <[email protected]> | 2019-08-06 16:25:59 +0200 |
commit | 86b0385622e25502222ae171a14f24aba998f2f9 (patch) | |
tree | 082547bce8ff6014b07677c115a79fd48f25be7a /erts/emulator | |
parent | 51d33208b08a257b59a64a35a953bb44c864f115 (diff) | |
parent | 1012012d4799de44c26826584fd155a95a0c92aa (diff) | |
download | otp-86b0385622e25502222ae171a14f24aba998f2f9.tar.gz otp-86b0385622e25502222ae171a14f24aba998f2f9.tar.bz2 otp-86b0385622e25502222ae171a14f24aba998f2f9.zip |
Merge branch 'lukas/otp/add-dialyzer-make-target/OTP-15915'
* lukas/otp/add-dialyzer-make-target/OTP-15915:
otp: Add make dialyzer and make xmllint documentation
Add 'make dialyzer' target to top and apps
Diffstat (limited to 'erts/emulator')
0 files changed, 0 insertions, 0 deletions