diff --git a/scripts/pylintrc b/scripts/pylintrc index d772cb0a7d..ac635c36bc 100644 --- a/scripts/pylintrc +++ b/scripts/pylintrc @@ -10,10 +10,6 @@ # Profiled execution. profile=no -# Add files or directories to the blacklist. They should be base names, not -# paths. -ignore=CVS - # Pickle collected data for later comparisons. persistent=yes