mirrors/build123d
1
Fork 0
mirror of https://github.com/gumyr/build123d.git synced 2025-12-06 02:30:55 -08:00
Code Issues Projects Releases Packages Wiki Activity Actions

mypy.ini -> remove stubs exclusion attempt

Browse source
This commit is contained in:
jdegenstein 2025-01-23 10:09:56 -06:00 • committed by GitHub
parent 22611e1554
commit 1740f388a5
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 0 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

3
mypy.ini
View file

@ -20,9 +20,6 @@ ignore_missing_imports = True
[mypy-OCP.*]
ignore_missing_imports = True
[mypy-ocp-stubs.*]
ignore_missing_imports = True
[mypy-ocpsvg.*]
ignore_missing_imports = True