aboutsummaryrefslogtreecommitdiffstats
path: root/lib/pman
diff options
context:
space:
mode:
authorHans Bolinder <[email protected]>2011-05-17 09:52:27 +0200
committerHans Bolinder <[email protected]>2011-05-17 09:52:27 +0200
commit766e09ac2d1abfa65f65377945ce8f06905e786e (patch)
tree06b2cf48b871c835a5388291df3d11e79aa1385e /lib/pman
parentc666fa93b12399a0160b6bfedf002eacbc2f01e2 (diff)
downloadotp-766e09ac2d1abfa65f65377945ce8f06905e786e.tar.gz
otp-766e09ac2d1abfa65f65377945ce8f06905e786e.tar.bz2
otp-766e09ac2d1abfa65f65377945ce8f06905e786e.zip
Fix bugs concerning the option report_missing_types
Bugs concerning the option report_missing_types that was added in EDoc-0.7.7 have been corrected: the option was misspelled in the source, and local definitions as well as the function tags @private and @hidden were not handled correctly. (Thanks to Manolis Papadakis.)
Diffstat (limited to 'lib/pman')
0 files changed, 0 insertions, 0 deletions