diff options
| author | David Sherret <dsherret@users.noreply.github.com> | 2022-10-20 17:01:17 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-10-20 17:01:17 -0400 |
| commit | e825022c8262d5152c9919976eeab56d636c859b (patch) | |
| tree | 6629f175c8fedbc9a127d69552fa4aa294f6c5eb /core/runtime.rs | |
| parent | 869acee8fb801191e87c39641e883fa455811f02 (diff) | |
refactor(cli): update checker - use a single option instead of two (#16372)
Diffstat (limited to 'core/runtime.rs')
0 files changed, 0 insertions, 0 deletions