Skip to content

Cleaner dracula#2575

Merged
jeanas merged 8 commits intopygments:masterfrom
dbitouze:cleaner-dracula
Nov 9, 2023
Merged

Cleaner dracula#2575
jeanas merged 8 commits intopygments:masterfrom
dbitouze:cleaner-dracula

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