diff options
author | Hans Bolinder <[email protected]> | 2015-10-13 14:02:48 +0200 |
---|---|---|
committer | Hans Bolinder <[email protected]> | 2015-12-09 13:05:34 +0100 |
commit | 3e0e79218065458b816cd726bd637f1ecd00a882 (patch) | |
tree | 72b89dc87ae86251adfd9d504d2518e4614101cd /lib/tools/info | |
parent | 646e1b9e6a836526865f15582bb22c600c54d26a (diff) | |
download | otp-3e0e79218065458b816cd726bd637f1ecd00a882.tar.gz otp-3e0e79218065458b816cd726bd637f1ecd00a882.tar.bz2 otp-3e0e79218065458b816cd726bd637f1ecd00a882.zip |
[observer] Correct documentation
Fix mistakes found by 'xmllint'.
Diffstat (limited to 'lib/tools/info')
0 files changed, 0 insertions, 0 deletions