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

Fix nested unordered lists in README.md #147

Merged
merged 1 commit into from
Dec 31, 2023
Merged

Fix nested unordered lists in README.md #147

merged 1 commit into from
Dec 31, 2023

Conversation

divergentdave
Copy link
Contributor

This changes unordered lists at the third nesting level to use * instead of . as bullets, so that they are properly formatted by Markdown.

JasonGross
JasonGross approved these changes Dec 31, 2023
View reviewed changes
Copy link
Collaborator

@JasonGross JasonGross left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thank you!

@JasonGross JasonGross merged commit 39f5f3e into mit-plv:master Dec 31, 2023
@divergentdave divergentdave mentioned this pull request Dec 31, 2023
Merged
@divergentdave divergentdave deleted the markdown-lists branch December 31, 2023 18:10
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@JasonGross JasonGross JasonGross approved these changes

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@divergentdave @JasonGross