diff options
| author | Francesco Zardi <[email protected]> | 2020-10-21 20:53:37 +0100 |
|---|---|---|
| committer | Francesco Zardi <[email protected]> | 2020-10-21 20:53:37 +0100 |
| commit | aff04d81ba6a334c1ba20ea4e6e04ffc88221aee (patch) | |
| tree | a93b48d7f267c0233c602aa96a4b8e77c37af89e /xtask/src/metrics.rs | |
| parent | 0be21b05d6811936a22d491f2cea4c7fe244ce2f (diff) | |
Refactor is_intrinsic_fn_unsafe() and make it private
Diffstat (limited to 'xtask/src/metrics.rs')
0 files changed, 0 insertions, 0 deletions