Skip to content

Conversation

@eulertour
Copy link
Member

Fix the few places where manimlib is imported/mentioned rather than manim.

@huguesdevimeux huguesdevimeux merged commit 605ebbb into master May 21, 2020
@leotrs leotrs deleted the replace-manimlib-with-manim branch May 21, 2020 22:36
@PgBiel PgBiel added the pr:bugfix Bug fix for use in PRs solving a specific issue:bug label May 21, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

pr:bugfix Bug fix for use in PRs solving a specific issue:bug

Projects

None yet

Development

Successfully merging this pull request may close these issues.

5 participants