diff --git a/tools/mummer4/.lint_skip b/tools/mummer4/.lint_skip deleted file mode 100644 index 93b5ffc68a8..00000000000 --- a/tools/mummer4/.lint_skip +++ /dev/null @@ -1 +0,0 @@ -BioToolsValid