From 57a7f2125858d06065f588c8fac641a8adf40331 Mon Sep 17 00:00:00 2001
From: Matthias Bernt <m.bernt@ufz.de>
Date: Mon, 30 Sep 2024 14:21:38 +0200
Subject: [PATCH] checkm: remove unneeded lint skip

---
 tools/checkm/.lint_skip | 2 --
 1 file changed, 2 deletions(-)
 delete mode 100644 tools/checkm/.lint_skip

diff --git a/tools/checkm/.lint_skip b/tools/checkm/.lint_skip
deleted file mode 100644
index db401a876bb..00000000000
--- a/tools/checkm/.lint_skip
+++ /dev/null
@@ -1,2 +0,0 @@
-OutputsLabelDuplicatedFilter
-OutputsNameDuplicated