From 1d14f71f8b027c6f339db90c9e04e866bf716449 Mon Sep 17 00:00:00 2001
From: Guilherme Schardong <guilherme.schardong@isr.uc.pt>
Date: Tue, 21 Apr 2026 16:51:26 +0100
Subject: [PATCH] Removed redundant requirements-dev.

---
 requirements-dev.txt | 6 ------
 1 file changed, 6 deletions(-)
 delete mode 100644 requirements-dev.txt

diff --git a/requirements-dev.txt b/requirements-dev.txt
deleted file mode 100644
index 41c978a..0000000
--- a/requirements-dev.txt
+++ /dev/null
@@ -1,6 +0,0 @@
-isort>=8.0.1
-jedi-language-server>=0.46.0
-black>=25.12.0
-flake8>=7.3.0
-mypy>=1.19.0
-pytest>=9.0.0