diff options
| author | David Sherret <dsherret@users.noreply.github.com> | 2024-03-11 11:42:12 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-03-11 11:42:12 -0400 |
| commit | 644ac0fe4331333b994b34780f8207278ad733ff (patch) | |
| tree | afbb4a9bd9a09f4702b9819fc5d346f869a6a151 /runtime/ops/signal.rs | |
| parent | badb42fc23d45f9300052a45210cdab0415513ce (diff) | |
chore: hidden tool for overwriting files with fast check output (#22822)
Not sure if we should do this, but it's a nice hidden tool that
overwrites the working tree with the fast check output.
Diffstat (limited to 'runtime/ops/signal.rs')
0 files changed, 0 insertions, 0 deletions