--- a/eric6.e4p Sat Mar 05 17:24:44 2016 +0100 +++ b/eric6.e4p Sat Mar 05 18:40:16 2016 +0100 @@ -1323,7 +1323,6 @@ <Source>WebBrowser/GreaseMonkey/GreaseMonkeyManager.py</Source> <Source>WebBrowser/GreaseMonkey/GreaseMonkeyScript.py</Source> <Source>WebBrowser/GreaseMonkey/GreaseMonkeyUrlInterceptor.py</Source> - <Source>WebBrowser/GreaseMonkey/GreaseMonkeyUrlMatcher.py</Source> <Source>WebBrowser/GreaseMonkey/__init__.py</Source> <Source>WebBrowser/History/HistoryCompleter.py</Source> <Source>WebBrowser/History/HistoryDialog.py</Source>