diff options
author | Hans Bolinder <[email protected]> | 2015-10-12 12:12:27 +0200 |
---|---|---|
committer | Hans Bolinder <[email protected]> | 2015-11-04 13:03:56 +0100 |
commit | 5ae78de4e4f6e220e29ad2f54b95a0098da4b365 (patch) | |
tree | 7ad95707adf2a7539c97f4d62a67cd927865dd20 /lib/tools | |
parent | de432f4ea9a8c29c931f30dd504662be1a01464d (diff) | |
download | otp-5ae78de4e4f6e220e29ad2f54b95a0098da4b365.tar.gz otp-5ae78de4e4f6e220e29ad2f54b95a0098da4b365.tar.bz2 otp-5ae78de4e4f6e220e29ad2f54b95a0098da4b365.zip |
[erts] Correct documentation
Fix mistakes found by 'xmllint'.
Diffstat (limited to 'lib/tools')
0 files changed, 0 insertions, 0 deletions