mirror of
https://github.com/pybricks/pybricks-api.git
synced 2026-09-12 01:24:17 +00:00
David Lechner
0466ce947f
This works around https://github.com/readthedocs/sphinx_rtd_theme/pull/494#issuecomment-354063112