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

Support minted 3.0 #516

Merged
merged 1 commit into from
Oct 13, 2024
Merged

Support minted 3.0 #516

merged 1 commit into from
Oct 13, 2024

Conversation

Witiko
Copy link
Owner

@Witiko Witiko commented Oct 13, 2024

Closes #505 and gpoore/minted#409.

@Witiko Witiko added documentation Related the technical documentation, the user manual, and the README files defaults Related to default option values and renderer prototypes labels Oct 13, 2024
@Witiko Witiko added this to the 3.8.0 milestone Oct 13, 2024
@Witiko Witiko self-assigned this Oct 13, 2024
@Witiko Witiko merged commit e0f0b08 into main Oct 13, 2024
12 checks passed
@Witiko Witiko deleted the fix/minted3 branch October 13, 2024 21:20
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
defaults Related to default option values and renderer prototypes documentation Related the technical documentation, the user manual, and the README files
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Support minted 3.0
1 participant