Skip to content

Conversation

@eulertour
Copy link
Member

Change the import name from manimlib to manim.

safinsingh
safinsingh previously approved these changes May 21, 2020
Copy link
Contributor

@safinsingh safinsingh left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

@safinsingh safinsingh dismissed their stale review May 21, 2020 20:34

I forgot to clone and test :p

@PgBiel PgBiel added pr:bugfix Bug fix for use in PRs solving a specific issue:bug enhancement Additions and improvements in general labels May 21, 2020
@eulertour eulertour merged commit a4835db into master May 21, 2020
@XorUnison XorUnison deleted the rename-to-manim branch May 21, 2020 21:41
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

enhancement Additions and improvements in general 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.

7 participants