721:9dd401431fcc | 723:49ef401db2ce |
---|---|
23 sys.argv.remove(arg) | 23 sys.argv.remove(arg) |
24 break | 24 break |
25 | 25 |
26 # make ThirdParty package available as a packages repository | 26 # make ThirdParty package available as a packages repository |
27 try: | 27 try: |
28 import pygments | 28 import pygments # __IGNORE_WARNING__ |
29 except ImportError: | 29 except ImportError: |
30 sys.path.insert(2, os.path.join(os.path.dirname(__file__), "ThirdParty", "Pygments")) | 30 sys.path.insert(2, os.path.join(os.path.dirname(__file__), "ThirdParty", "Pygments")) |
31 | 31 |
32 from Utilities import Startup | 32 from Utilities import Startup |
33 | 33 |