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