Skip to content

Conversation

@dbitouze
Copy link
Contributor

@dbitouze dbitouze commented Nov 8, 2023

No description provided.

@jeanas jeanas merged commit 414d5a3 into pygments:master Nov 9, 2023
@jeanas
Copy link
Contributor

jeanas commented Nov 9, 2023

Good, they look equivalent this time around. Thanks.

@dbitouze dbitouze deleted the cleaner-dracula branch November 9, 2023 15:18
@Anteru Anteru added this to the 2.17 milestone Nov 17, 2023
@Anteru Anteru added the A-theming area: changes to themes label Nov 17, 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