diff -r 9dd401431fcc -r 49ef401db2ce eric5-editor.py
--- a/eric5-editor.py Mon Nov 15 19:54:38 2010 +0100
+++ b/eric5-editor.py Tue Nov 16 08:42:14 2010 +0100
@@ -25,7 +25,7 @@
# make ThirdParty package available as a packages repository
try:
- import pygments
+ import pygments # __IGNORE_WARNING__
except ImportError:
sys.path.insert(2, os.path.join(os.path.dirname(__file__), "ThirdParty", "Pygments"))
@@ -65,4 +65,4 @@
sys.exit(res)
if __name__ == '__main__':
- main()
\ No newline at end of file
+ main()
