diff --git a/tools/lint/lint.xml b/tools/lint/lint.xml index ca41d7312d..70f50b7a5d 100644 --- a/tools/lint/lint.xml +++ b/tools/lint/lint.xml @@ -2,7 +2,7 @@ - +