diff options
| author | Luca Casonato <lucacasonato@yahoo.com> | 2021-01-07 03:48:33 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-01-07 03:48:33 +0100 |
| commit | d5c34f8e3ce53a0c525ca012bf1639379ef9e61d (patch) | |
| tree | 18f1fa8db5677a1862a691945edbe24dfd688924 /cli/tools/coverage.rs | |
| parent | adc2f08c178f51b3ddd5f1c2e3d7f5603424521e (diff) | |
chore: exempt docs label from stalebot (#9028)
Diffstat (limited to 'cli/tools/coverage.rs')
0 files changed, 0 insertions, 0 deletions