commit | fcdec9c66e1657edca7f0c4f92e952967cf299e9 | [log] [tgz] |
---|---|---|
author | Cosmin Truta <ctruta@gmail.com> | Sun Sep 08 15:35:10 2024 +0300 |
committer | Cosmin Truta <ctruta@gmail.com> | Sun Sep 08 15:35:10 2024 +0300 |
tree | bcaf2ee83bb101db6ffaa3d53abb83cc6671eab8 | |
parent | 222086586b7dceeb1c3d2e21b11d4795173fbd6c [diff] |
chore: Delete contrib/tools/chkfmt.sh Going forward, we will continue developing and using ci/ci_lint.sh