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.

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

Add fancy_lists syntax extension #168

Merged
merged 7 commits into from
Aug 19, 2022
Merged

Add fancy_lists syntax extension #168

merged 7 commits into from
Aug 19, 2022

Conversation

Witiko
Copy link
Owner

@Witiko Witiko commented Aug 18, 2022

Progresses #149. Closes #84 and #106.

@Witiko Witiko added feature request lua Related to the Lua interface and implementation plaintex Related to the plain TeX interface and implementation labels Aug 18, 2022
@Witiko Witiko added this to the 2.16.0 milestone Aug 18, 2022
@Witiko Witiko force-pushed the feature/fancy-lists branch 4 times, most recently from 2474d50 to 0f93e07 Compare August 18, 2022 19:36
@Witiko Witiko force-pushed the feature/fancy-lists branch 3 times, most recently from 2e198d6 to b2de944 Compare August 18, 2022 21:45
Witiko added 4 commits August 19, 2022 00:02

Verified

This commit was signed with the committer’s verified signature.
w3cj CJ
@Witiko Witiko force-pushed the feature/fancy-lists branch from 13ce33e to db7caa3 Compare August 18, 2022 22:31
@Witiko Witiko added the automerge This pull request will be automatically merged after continuous integration has succeeded label Aug 18, 2022
@Witiko Witiko force-pushed the feature/fancy-lists branch 2 times, most recently from 1a46f69 to f74dbd8 Compare August 18, 2022 22:45
@Witiko Witiko force-pushed the feature/fancy-lists branch from f74dbd8 to f0d0f98 Compare August 18, 2022 22:53
@Witiko Witiko force-pushed the feature/fancy-lists branch from f0d0f98 to a427366 Compare August 18, 2022 23:48
@github-actions github-actions bot merged commit 64da75d into main Aug 19, 2022
@Witiko Witiko added the syntax extension Related to syntax extensions and dialects of markdown label Aug 23, 2022
@Witiko Witiko deleted the feature/fancy-lists branch August 25, 2022 21:23
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
automerge This pull request will be automatically merged after continuous integration has succeeded feature request lua Related to the Lua interface and implementation plaintex Related to the plain TeX interface and implementation syntax extension Related to syntax extensions and dialects of markdown
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Alphabetical lists
1 participant