Closed mkitti closed 1 year ago
PreferenceTools.jl has a list of known preferences.
https://github.com/cjdoris/PreferenceTools.jl/blob/main/KNOWN_PREFERENCES.md
@JoshuaLampert , would you be interested in adding the new ones in HDF5.jl v0.17 to that list?
Sure, I created a PR over there: https://github.com/cjdoris/PreferenceTools.jl/pull/4.
cjdoris/PreferenceTools.jl#4 is merged. So this issue can be closed.
PreferenceTools.jl has a list of known preferences.
https://github.com/cjdoris/PreferenceTools.jl/blob/main/KNOWN_PREFERENCES.md
@JoshuaLampert , would you be interested in adding the new ones in HDF5.jl v0.17 to that list?