-
Iustin Pop authored
We don't get any useful out of this - a git grep is as effective, and these only pollute the pylint output. Signed-off-by: Iustin Pop <iustin@google.com> Reviewed-by: Olivier Tharan <olive@google.com>
dfe879ce
We don't get any useful out of this - a git grep is as effective, and these only pollute the pylint output. Signed-off-by: Iustin Pop <iustin@google.com> Reviewed-by: Olivier Tharan <olive@google.com>