diff options
author | Anders Svensson <[email protected]> | 2011-12-07 15:48:16 +0100 |
---|---|---|
committer | Anders Svensson <[email protected]> | 2011-12-08 00:53:05 +0100 |
commit | 57d5564fca1f6d5e57199e1dcdca1d64284ecae8 (patch) | |
tree | 10e2c6d67f85dfcd9e49749509abb6c53ffad13c /lib/public_key/.gitignore | |
parent | ff859b3877f628e9d71373baef7f73f9fb5be2de (diff) | |
download | otp-57d5564fca1f6d5e57199e1dcdca1d64284ecae8.tar.gz otp-57d5564fca1f6d5e57199e1dcdca1d64284ecae8.tar.bz2 otp-57d5564fca1f6d5e57199e1dcdca1d64284ecae8.zip |
Tell dialyzer not to warn about unused functions
Depending on the dictionary, generated dictionary modules may contain
unused functions included from diameter_gen.hrl. There may still be
warnings however since even used functions can contain code that
isn't reached for a given dictionary.
It would be useful for diameter to generate spec attributes for
a dictionary's generated records but the format of these is currently
undocumented.
Diffstat (limited to 'lib/public_key/.gitignore')
0 files changed, 0 insertions, 0 deletions