diff options
author | Hans Bolinder <[email protected]> | 2015-10-13 14:01:18 +0200 |
---|---|---|
committer | Hans Bolinder <[email protected]> | 2015-11-17 15:53:31 +0100 |
commit | 6f50633829adc53d20a2c2aee454aef8caece907 (patch) | |
tree | 11901cbf96c33eeb8c40b2b2eba8043dcab45d90 /.gitignore | |
parent | f5427a21fdcaebe6144e02c1771609595fa07e7a (diff) | |
download | otp-6f50633829adc53d20a2c2aee454aef8caece907.tar.gz otp-6f50633829adc53d20a2c2aee454aef8caece907.tar.bz2 otp-6f50633829adc53d20a2c2aee454aef8caece907.zip |
[compiler] Correct documentation
Fix mistakes found by 'xmllint'.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions