diff --git a/tools/lint/lint.xml b/tools/lint/lint.xml index 3d3b073749..ddb2e1b0c5 100644 --- a/tools/lint/lint.xml +++ b/tools/lint/lint.xml @@ -113,5 +113,5 @@ - +