comparison: ThirdParty/Pygments/__init__.py
ThirdParty/Pygments/__init__.py
- changeset 4038
- 175f13f4eb9d
- parent 4021
- 195a471c327b
- child 4631
- 5c1a96925da4
equal
deleted
inserted
replaced
4 # |
4 # |
5 |
5 |
6 """ |
6 """ |
7 Package containing the pygments package. |
7 Package containing the pygments package. |
8 """ |
8 """ |
|
9 # TODO: update pygments |