diff options
author | Dana Robinson <43805+derobins@users.noreply.github.com> | 2022-07-17 05:21:18 (GMT) |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-07-17 05:21:18 (GMT) |
commit | 8c6a3ce1d7006a633a8973f6ca827c664d7a1ac9 (patch) | |
tree | 67758d6e203da5c5c97b7273e3f281e02c7be141 /.h5chkright.ini | |
parent | 65a24325af2cce61220343eb7e551dbebee65c25 (diff) | |
download | hdf5-8c6a3ce1d7006a633a8973f6ca827c664d7a1ac9.zip hdf5-8c6a3ce1d7006a633a8973f6ca827c664d7a1ac9.tar.gz hdf5-8c6a3ce1d7006a633a8973f6ca827c664d7a1ac9.tar.bz2 |
Removes the small perf tool (#1896)
* Removes the small perf tool
This tool doesn't really do anything special and installed, which
conflicts with gnu's perf tool.
* Adds suggestions from code review
Diffstat (limited to '.h5chkright.ini')
0 files changed, 0 insertions, 0 deletions