Skip to content

Conversation

@mlange-42
Copy link
Contributor

@mlange-42 mlange-42 commented Jan 27, 2025

Converted from pygments, with some manual adjustments.

@mlange-42 mlange-42 marked this pull request as ready for review January 27, 2025 16:23
@alecthomas
Copy link
Owner

Nice!

@alecthomas alecthomas merged commit dc982d2 into alecthomas:master