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

Add option to export GIF #49 #22

Open

schnellecom opened this issue Jun 12, 2023 · 0 comments

Assignees

Labels

enhancement transfer old package

Milestone

Member

schnellecom commented Jun 12, 2023

For example with something like this:
https://github.com/hughsk/gl-gif
Should it run headless or be in the GUI?

schnellecom added enhancement transfer old package labels

schnellecom self-assigned this

schnellecom mentioned this issue

Add option to export GIF schnellecom/SimplicialSurfaces#49

Closed

schnellecom added this to the New Features milestone

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