From ce1c3c68afd461aab894907888f1c19b5d5c582e Mon Sep 17 00:00:00 2001
From: Cyril Achard <cyril.achard@epfl.ch>
Date: Mon, 9 Mar 2026 13:51:45 +0100
Subject: [PATCH] Remove .coveragerc (duplicated in pyproject.toml)

Coverage.py fully supports configuration via pyproject.toml, and the project already defines all coverage settings under [tool.coverage].
Removing .coveragerc avoids duplicate configuration and potential precedence confusion, keeping a single source of truth for coverage settings.
---
 .coveragerc | 6 ------
 1 file changed, 6 deletions(-)
 delete mode 100644 .coveragerc

diff --git a/.coveragerc b/.coveragerc
deleted file mode 100644
index 83fcc6e..0000000
--- a/.coveragerc
+++ /dev/null
@@ -1,6 +0,0 @@
-
-# .coveragerc
-[run]
-branch = True
-source = dlclivegui
-# omit =