chore: fix whitespace error after merge

pull/10820/head
Matthias 2 years ago committed by GitHub
parent 7adc505a00
commit f100ad12e0
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

@ -7,7 +7,6 @@
-r docs/requirements-docs.txt
coveralls==4.0.1
ruff==0.7.0
mypy==1.12.1
pre-commit==4.0.1

Loading…
Cancel
Save