diff options
author | Björn Gustavsson <[email protected]> | 2013-10-11 14:03:16 +0200 |
---|---|---|
committer | Björn Gustavsson <[email protected]> | 2013-10-11 14:03:16 +0200 |
commit | 240c5e4785fee63457e87c443eff5da82976c785 (patch) | |
tree | cf479ddfb406d41dfb22ad4b308dca03415e7624 /.gitignore | |
parent | c63d1054f837a935cb441fa23021bb8913dd8a12 (diff) | |
parent | c552255525f51fcd06e847149b8ce83bb0a99626 (diff) | |
download | otp-240c5e4785fee63457e87c443eff5da82976c785.tar.gz otp-240c5e4785fee63457e87c443eff5da82976c785.tar.bz2 otp-240c5e4785fee63457e87c443eff5da82976c785.zip |
Merge branch 'bjorn/observer/fix-doc-bug/OTP-11335' into maint
* bjorn/observer/fix-doc-bug/OTP-11335:
Documentation of tracer/2: Use the correct option name 'overload_check'
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions