diff options
| author | Geert-Jan Zwiers <geertjanzwiers@protonmail.com> | 2022-06-27 00:28:45 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-06-27 00:28:45 +0200 |
| commit | 2d1c48ce171b32eb24a8438d9056ff46c44c1be8 (patch) | |
| tree | 4d74fd31a11d817aa1f4cef5e25ee3ef927a3279 /cli/tools/coverage/mod.rs | |
| parent | 8d82ba729937baf83011354242cabc3d50c13dc2 (diff) | |
fix(docs): --watch arg is stable (#14970)
Diffstat (limited to 'cli/tools/coverage/mod.rs')
0 files changed, 0 insertions, 0 deletions