Skip to content

Conversation

@PgBiel
Copy link
Member

@PgBiel PgBiel commented Sep 2, 2020

Fixes a few things from #347

@PgBiel PgBiel added documentation Improvements or additions to documentation enhancement Additions and improvements in general pr:easy review There is nothing particular (i.e, it's about a general/small thing) to know for review! labels Sep 2, 2020
@PgBiel PgBiel self-assigned this Sep 2, 2020
@PgBiel PgBiel requested a review from Aathish04 September 2, 2020 03:09
@PgBiel PgBiel merged commit c7e9263 into master Sep 2, 2020
@PgBiel PgBiel deleted the mobject-docs-patch-1 branch September 2, 2020 03:14
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

documentation Improvements or additions to documentation enhancement Additions and improvements in general pr:easy review There is nothing particular (i.e, it's about a general/small thing) to know for review!

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants