diff --git a/tools/lint/lint.xml b/tools/lint/lint.xml index dbe30f2267..467b32bacd 100644 --- a/tools/lint/lint.xml +++ b/tools/lint/lint.xml @@ -17,7 +17,7 @@ - +