diff --git a/tools/lint/lint.xml b/tools/lint/lint.xml index 914c9e7b68..7a04c735c0 100644 --- a/tools/lint/lint.xml +++ b/tools/lint/lint.xml @@ -43,24 +43,11 @@ - + - - - - - - - - - - - - -