aboutsummaryrefslogtreecommitdiffstats
path: root/.gitignore
diff options
context:
space:
mode:
authorHans Bolinder <[email protected]>2015-10-13 14:03:23 +0200
committerHans Bolinder <[email protected]>2015-11-04 13:03:57 +0100
commit3d86418b496db400d795311ece53f9e632731a94 (patch)
tree3d5784678a39322c13cea614d57d2c134121e34f /.gitignore
parent42eddf467f01e38502310a0f34770ed73ff74319 (diff)
downloadotp-3d86418b496db400d795311ece53f9e632731a94.tar.gz
otp-3d86418b496db400d795311ece53f9e632731a94.tar.bz2
otp-3d86418b496db400d795311ece53f9e632731a94.zip
[dialyzer] Correct documentation
Fix mistakes found by 'xmllint'.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions