mirror of
https://github.com/pybricks/pybricks-api.git
synced 2026-09-12 09:37:25 +00:00
David Lechner
44f6bd8258
This works around https://github.com/readthedocs/sphinx_rtd_theme/pull/494#issuecomment-354063112