Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Readme: add table of contents #132

Merged
merged 1 commit into from
Sep 7, 2020
Merged

Readme: add table of contents #132

merged 1 commit into from
Sep 7, 2020

Conversation

awalterschulze
Copy link
Member

I also:

  • moved a few things around, which I think makes for a nicer order.
  • Changed erl to erlang, since then I get highlighting when I edit the readme not only when I view the rendered version.
  • Added formatting to the contributing guidelines

@facebook-github-bot facebook-github-bot added the CLA Signed This label is managed by the Facebook bot. Authors need to sign the CLA before a PR can be reviewed. label Sep 7, 2020
@awalterschulze awalterschulze mentioned this pull request Sep 7, 2020
Merged
@awalterschulze awalterschulze merged commit 7abee6b into master Sep 7, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@michalmuskala michalmuskala michalmuskala approved these changes

Assignees
No one assigned
Labels
CLA Signed This label is managed by the Facebook bot. Authors need to sign the CLA before a PR can be reviewed.
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
3 participants
@awalterschulze @michalmuskala @facebook-github-bot