--- a/eric6_shell.py	Thu Apr 20 20:09:53 2017 +0200
+++ b/eric6_shell.py	Fri Apr 21 19:39:31 2017 +0200
@@ -38,10 +38,6 @@
                           settingsDir)
         sys.argv.remove(arg)
 
-### make ThirdParty package available as a packages repository
-##sys.path.insert(2, os.path.join(os.path.dirname(__file__),
-##                                "ThirdParty", "Pygments"))
-
 from Globals import AppInfo
 
 from Toolbox import Startup