diff --git a/extra/lint/tags.txt b/extra/lint/tags.txt deleted file mode 100644 index 90cd671f56..0000000000 --- a/extra/lint/tags.txt +++ /dev/null @@ -1 +0,0 @@ -lint refactor