commit | 3e0418fe502b2a2194e118d362efdfc0e558be73 | [log] [tgz] |
---|---|---|
author | Dave Rodgman <dave.rodgman@arm.com> | Tue Dec 20 16:26:57 2022 +0000 |
committer | GitHub <noreply@github.com> | Tue Dec 20 16:26:57 2022 +0000 |
tree | 3a15c2eb5c51560bd7af4d46dcbd94f2fe022188 | |
parent | 2038da926673dab4a84d525348fa07714c233f01 [diff] | |
parent | e080cc31f2fed0004a25f6ebec9d6888882986a1 [diff] |
Merge pull request #6825 from minosgalanakis/bignum/adjust_pylint pylint: Set a minimum duplicate match to 10 lines.
diff --git a/.pylintrc b/.pylintrc index 10c93f8..f395fb9 100644 --- a/.pylintrc +++ b/.pylintrc
@@ -1,5 +1,6 @@ [MASTER] init-hook='import sys; sys.path.append("scripts")' +min-similarity-lines=10 [BASIC] # We're ok with short funtion argument names.