-
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>