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

Update mypy.ini

Browse source
This commit is contained in:
jdegenstein 2025-01-23 07:39:10 -06:00 • committed by GitHub
parent 97eff88585
commit bd1ad47ac5
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
mypy.ini
View file

@ -17,7 +17,7 @@ ignore_missing_imports = True
[mypy-OCP.*]
ignore_missing_imports = True
[mypy-OCP-stubs.*]
[mypy-ocp-stubs.*]
ignore_missing_imports = True
[mypy-ocpsvg.*]