diff options
author | Henrik Nord <[email protected]> | 2012-02-13 11:20:20 +0100 |
---|---|---|
committer | Henrik Nord <[email protected]> | 2012-02-13 11:20:20 +0100 |
commit | 62004e925dc5a5f043d8a7017a27b044c29b9ece (patch) | |
tree | eb55eafd56df12f0bb5daf558d9d9e742b96ee24 /configure.in | |
parent | 86231a380b27fc262e48aa8c3f0372d4d2056682 (diff) | |
download | otp-62004e925dc5a5f043d8a7017a27b044c29b9ece.tar.gz otp-62004e925dc5a5f043d8a7017a27b044c29b9ece.tar.bz2 otp-62004e925dc5a5f043d8a7017a27b044c29b9ece.zip |
Make dialyzer recognize the process_flag option sensitive
add missing specs to documentation
Diffstat (limited to 'configure.in')
0 files changed, 0 insertions, 0 deletions