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

diff: ThirdParty/Pygments/pygments/util.py

ThirdParty/Pygments/pygments/util.py

branch

5_1_x

changeset 1510

e75ecf2bd9dd

parent 885

e997d2f41dea

child 1705

b0fbc9300f2b