• file
• latest
• revisions
• annotate
• diff
• comparison
• raw

diff: ThirdParty/Pygments/pygments/formatters/_mapping.py

ThirdParty/Pygments/pygments/formatters/_mapping.py

changeset 6651

e8f3b5568b21

parent 5713

6762afd9f963

child 6654

025e8d0f87cd