diff options
author | Dana Robinson <43805+derobins@users.noreply.github.com> | 2022-07-11 15:28:52 (GMT) |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-07-11 15:28:52 (GMT) |
commit | be5de999a92ec1ba7853827ff0b5966f3569e792 (patch) | |
tree | 7957815809eaff5854fd61d133ef72aedf62a589 /.github | |
parent | e0c24431797973a042291967fad087f8e3a48724 (diff) | |
download | hdf5-be5de999a92ec1ba7853827ff0b5966f3569e792.zip hdf5-be5de999a92ec1ba7853827ff0b5966f3569e792.tar.gz hdf5-be5de999a92ec1ba7853827ff0b5966f3569e792.tar.bz2 |
Adds explicit indices to drivernames array in the tools (#1867)
Will help keep the drivernames and driver_idx enum in sync.
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions