diff -r beb0e092738d -r 175f13f4eb9d ThirdParty/Pygments/__init__.py --- a/ThirdParty/Pygments/__init__.py Wed Jan 14 19:37:41 2015 +0100 +++ b/ThirdParty/Pygments/__init__.py Wed Jan 14 19:47:29 2015 +0100 @@ -6,3 +6,4 @@ """ Package containing the pygments package. """ +# TODO: update pygments
