New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Clean up. #20077

Merged

mrdoob merged 1 commit into mrdoob:dev from Mugen87:dev45

Aug 15, 2020

Collaborator

Mugen87 commented Aug 15, 2020

No description provided.


          Clean up.

88b79f2

Mugen87 added this to the r120 milestone

mrdoob merged commit 20b1de2 into mrdoob:dev

Owner

mrdoob commented Aug 15, 2020

Thanks!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment