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 most unused options which are defaulted #2998 #3046

Merged
merged 3 commits into from
Jun 5, 2023

Conversation

byrnHDF
Copy link
Contributor

@byrnHDF byrnHDF commented Jun 5, 2023

No description provided.

@byrnHDF byrnHDF added Merge Use this label when a PR is for a downstream merge Priority - 3. Low 🔽 Code cleanup, small feature change requests, etc. Component - Documentation Doxygen, markdown, etc. Type - Bug / Bugfix Please report security issues to [email protected] instead of creating an issue on GitHub Branch - 1.12 labels Jun 5, 2023
@byrnHDF byrnHDF self-assigned this Jun 5, 2023
@derobins derobins merged commit cd18732 into HDFGroup:hdf5_1_12 Jun 5, 2023
@byrnHDF byrnHDF deleted the hdf5_1_12-doxydef branch June 11, 2023 14:29
brtnfld pushed a commit to brtnfld/hdf5 that referenced this pull request Oct 5, 2023
…p#3046)

* Remove most unused options which are defaulted HDFGroup#2998

* Correct doxygen predefined list

* Correct doxygen list of predefineds
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Component - Documentation Doxygen, markdown, etc. Merge Use this label when a PR is for a downstream merge Priority - 3. Low 🔽 Code cleanup, small feature change requests, etc. Type - Bug / Bugfix Please report security issues to [email protected] instead of creating an issue on GitHub
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants