Skip to content

Cleaner dracula #2575

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

Merged
merged 8 commits into from
Nov 9, 2023
Merged

Cleaner dracula #2575

merged 8 commits into from
Nov 9, 2023

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