diff --git a/tools/lint/lint.xml b/tools/lint/lint.xml index 79902caa49..914c9e7b68 100644 --- a/tools/lint/lint.xml +++ b/tools/lint/lint.xml @@ -44,6 +44,8 @@ + +