Skip to content

install_hdf5.sh: Use wget to download source if curl not available; Abort if neither are available

Jonas Schwab requested to merge HDF5-install_wget-as-curl-alternative into master

Merge request reports