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 /bin/.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 'bin/.gitignore')
0 files changed, 0 insertions, 0 deletions