From bea30eeac4b887efa4275f43ae88d1e1093dbb6f Mon Sep 17 00:00:00 2001 From: Federico Caselli Date: Tue, 29 Jul 2025 22:17:27 +0200 Subject: [PATCH] remove obsolete file Remove mypy_plugin.ini file that's no loger useful, since the mypy plugin was removed in d69765829c9fbc98f21a22dbc496f2b7b22dc52c Change-Id: I3f49a367b36b07e8cc1b10b415d6209de2eef3fb --- mypy_plugin.ini | 9 --------- 1 file changed, 9 deletions(-) delete mode 100644 mypy_plugin.ini diff --git a/mypy_plugin.ini b/mypy_plugin.ini deleted file mode 100644 index 34ddc371ce..0000000000 --- a/mypy_plugin.ini +++ /dev/null @@ -1,9 +0,0 @@ -[mypy] -plugins = sqlalchemy.ext.mypy.plugin -show_error_codes = True -mypy_path=./lib/ -strict = True -raise_exceptions=True - -[mypy-sqlalchemy.*] -ignore_errors = True -- 2.47.2