diff options
| author | Steve Vinoski <[email protected]> | 2014-01-12 10:09:26 -0500 |
|---|---|---|
| committer | Steve Vinoski <[email protected]> | 2014-01-12 10:14:47 -0500 |
| commit | cb39f7023dc1cf2719ae7b804314a46377141558 (patch) | |
| tree | 98c32e8a8a2712d02999a31065249514748d60de /bin/.gitignore | |
| parent | 25237481ccccd3ddfa74582dc267632ad618ba30 (diff) | |
| download | otp-cb39f7023dc1cf2719ae7b804314a46377141558.tar.gz otp-cb39f7023dc1cf2719ae7b804314a46377141558.tar.bz2 otp-cb39f7023dc1cf2719ae7b804314a46377141558.zip | |
fix -Wno_behaviours doc error in dialyzer man page
The description of the -Wno_behaviours in the dialyzer man page incorrectly
includes a "***" footnote marker, indicating that it's an option that turns
on a warning rather than turning it off. Since the option actually turns
off a warning, remove the marker. This fix makes the documentation match
that obtained from dialyzer --help.
Diffstat (limited to 'bin/.gitignore')
0 files changed, 0 insertions, 0 deletions