diff options
author | Rich Morin <[email protected]> | 2015-09-23 11:23:06 -0700 |
---|---|---|
committer | Rich Morin <[email protected]> | 2015-09-23 11:23:06 -0700 |
commit | 9066d71101d5ac78cdb9690c69d5f74de3e9d10e (patch) | |
tree | 052ae50da4c3afe609ed633024541e3cf263dc8e /lib/stdlib/doc/html/.gitignore | |
parent | 1523be48ab4071b158412f4b06fe9c8d6ba3e73c (diff) | |
download | otp-9066d71101d5ac78cdb9690c69d5f74de3e9d10e.tar.gz otp-9066d71101d5ac78cdb9690c69d5f74de3e9d10e.tar.bz2 otp-9066d71101d5ac78cdb9690c69d5f74de3e9d10e.zip |
fix capitalization of headings
Several initialisms (eg, ERTS, ETS, SMP) are used as headings. They were being capitalized incorrectly,
Diffstat (limited to 'lib/stdlib/doc/html/.gitignore')
0 files changed, 0 insertions, 0 deletions