Join GitHub today
GitHub is home to over 28 million developers working together to host and review code, manage projects, and build software together.Sign up
Fixed a few formatting problems on applications.md #8716
Some headers went "missing" in the previous PR, so fixed it now.
DO NOT DELETE THIS TEXT
If you would like to test this pull request then please run: