diff options
author | Dana Robinson <43805+derobins@users.noreply.github.com> | 2022-08-17 16:21:38 (GMT) |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-08-17 16:21:38 (GMT) |
commit | dc9562ee77ec29ae49f4f0694c77a2a39473f726 (patch) | |
tree | c51c8e81718ff4a294a4482ea6dcdc84f15ab4c6 /.github | |
parent | afc54d75a19ac9326f32169f64d168deda3ad045 (diff) | |
download | hdf5-dc9562ee77ec29ae49f4f0694c77a2a39473f726.zip hdf5-dc9562ee77ec29ae49f4f0694c77a2a39473f726.tar.gz hdf5-dc9562ee77ec29ae49f4f0694c77a2a39473f726.tar.bz2 |
Removes the bin/gcov_script file (#2021)
We don't need fragile scripts to run basic profiling programs
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions