--- a/eric5.e4p Thu May 30 15:33:23 2013 +0200 +++ b/eric5.e4p Thu May 30 18:52:46 2013 +0200 @@ -798,10 +798,6 @@ <Source>ThirdParty/Pygments/pygments/lexers/_asybuiltins.py</Source> <Source>ThirdParty/Pygments/pygments/styles/monokai.py</Source> <Source>Preferences/ConfigurationPages/TrayStarterPage.py</Source> - <Source>UtilitiesPython2/__init__.py</Source> - <Source>UtilitiesPython2/Tools.py</Source> - <Source>UtilitiesPython2/Tabnanny.py</Source> - <Source>UtilitiesPython2/TabnannyChecker.py</Source> <Source>ThirdParty/Pygments/pygments/lexers/hdl.py</Source> <Source>Plugins/CheckerPlugins/Pep8/__init__.py</Source> <Source>Plugins/CheckerPlugins/Pep8/pep8.py</Source>