diff --git a/tools/lint/lint.xml b/tools/lint/lint.xml index 7a04c735c0..fc775eb730 100644 --- a/tools/lint/lint.xml +++ b/tools/lint/lint.xml @@ -68,7 +68,6 @@ -