Skip to content
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.

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

Remove unused symbols from hdf2gif.c #516

Merged
merged 1 commit into from
Feb 13, 2024

Conversation

derobins
Copy link
Member

No description provided.

@derobins derobins added Component - Tools Command-line tools like dumper and hdiff Type - Improvement Improvements that don't add a new feature or functionality Priority - 3. Low 🔽 Code cleanup, small feature change requests, etc. labels Feb 13, 2024
@derobins derobins merged commit cc8d58d into HDFGroup:master Feb 13, 2024
31 checks passed
@derobins derobins deleted the hdf2gif_unused_symbols branch March 3, 2024 20:12
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Component - Tools Command-line tools like dumper and hdiff Priority - 3. Low 🔽 Code cleanup, small feature change requests, etc. Type - Improvement Improvements that don't add a new feature or functionality
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants