Merge pull request galaxyproject#6384 from bernt-matthias/lint-checkm

checkm: remove unneeded lint skip
nekrut · Sep 30, 2024 · 09c6b3b · 09c6b3b
2 parents aee140e + 57a7f21
commit 09c6b3b
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/tools/checkm/.lint_skip b/tools/checkm/.lint_skip