ThirdParty/Pygments/__init__.py

changeset 4038
175f13f4eb9d
parent 4021
195a471c327b
child 4631
5c1a96925da4
equal deleted inserted replaced
4037:beb0e092738d 4038:175f13f4eb9d
4 # 4 #
5 5
6 """ 6 """
7 Package containing the pygments package. 7 Package containing the pygments package.
8 """ 8 """
9 # TODO: update pygments

eric ide

mercurial