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 /docs/getting_started/installation.md | |
parent | adc2f08c178f51b3ddd5f1c2e3d7f5603424521e (diff) |
chore: exempt docs label from stalebot (#9028)
Diffstat (limited to 'docs/getting_started/installation.md')
0 files changed, 0 insertions, 0 deletions