mirror of
https://github.com/3b1b/manim.git
synced 2025-08-02 19:46:21 +08:00

This may not be the best way to address it, but at least temporarily it prevents linting issues for calls like VGroup(Circle())[0].get_radius()
This may not be the best way to address it, but at least temporarily it prevents linting issues for calls like VGroup(Circle())[0].get_radius()