mirror of
https://github.com/HDFGroup/hdf5.git
synced 2025-04-18 17:40:55 +08:00
delete nullptr is well-defined, does not need check. Manually fixed indentation after automatic changes.
delete nullptr is well-defined, does not need check. Manually fixed indentation after automatic changes.