diff --git a/tools/lint/lint.xml b/tools/lint/lint.xml index 1cb3b8d442..b6ff466a0f 100644 --- a/tools/lint/lint.xml +++ b/tools/lint/lint.xml @@ -115,4 +115,7 @@ + + +