From ac8b30a30ef0d54faa6d989816b77bf296c15115 Mon Sep 17 00:00:00 2001 From: Slava Pestov Date: Sun, 4 Nov 2007 21:24:50 -0500 Subject: [PATCH] Remove erronous tags --- extra/lint/tags.txt | 1 - 1 file changed, 1 deletion(-) delete mode 100644 extra/lint/tags.txt 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