mirror of
https://github.com/3b1b/manim.git
synced 2025-04-13 09:47:07 +00:00
![]() This simply didn't work, and had no resilience to changes to the library. For cases where this might be useful, it's likely much better deliberately save specific data which is time-consuming to generate on the fly. |
||
---|---|---|
.. | ||
__init__.py | ||
interactive_scene.py | ||
scene.py | ||
scene_embed.py | ||
scene_file_writer.py |