diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2021-06-16 14:52:15 +0100 |
|---|---|---|
| committer | GitHub <[email protected]> | 2021-06-16 14:52:15 +0100 |
| commit | 88c2e5995e6d4ab2096848d3af60493e4077dff2 (patch) | |
| tree | 9869ae6fecd133d251adbf07db284e5f49f6a3e4 /docs/user/.gitignore | |
| parent | 1c034c084d79f20c5208208a891f38bf582433e6 (diff) | |
| parent | 66b701ed3e9980c4441f963467e49c687a4afca5 (diff) | |
Merge #9300
9300: minor: Simplify r=Veykril a=Veykril
bors r+
Co-authored-by: Lukas Wirth <[email protected]>
Diffstat (limited to 'docs/user/.gitignore')
0 files changed, 0 insertions, 0 deletions