From e3f5847fb2baf316321afd25ba64cca88941835d Mon Sep 17 00:00:00 2001 From: Stefan Tatschner Date: Wed, 2 Nov 2022 17:46:23 +0100 Subject: [PATCH] chore: Remove unused option --- pyproject.toml | 1 - 1 file changed, 1 deletion(-) diff --git a/pyproject.toml b/pyproject.toml index 275b826d5..ef4c399d7 100644 --- a/pyproject.toml +++ b/pyproject.toml @@ -101,7 +101,6 @@ asyncio_mode = "auto" [tool.pylint.messages_control] disable = [ "broad-except", - "c-extension-no-member", "duplicate-code", # https://github.com/Fraunhofer-AISEC/gallia/issues/306 "fixme", "invalid-name",