Skip to content

Conversation

@icy-comet
Copy link
Contributor

No description provided.

@jeanas jeanas merged commit b788307 into pygments:master Apr 3, 2023
@jeanas
Copy link
Contributor

jeanas commented Apr 3, 2023

Thanks!

@Anteru Anteru added this to the 2.15.0 milestone Apr 10, 2023
@Anteru Anteru added the A-theming area: changes to themes label Apr 10, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

A-theming area: changes to themes

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants