diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-08-19 18:56:19 +0100 |
|---|---|---|
| committer | GitHub <[email protected]> | 2020-08-19 18:56:19 +0100 |
| commit | 9051d6bc366804fde7c69074950363fc2956a2e1 (patch) | |
| tree | 799ea7db698e0de0f241573f9fdf54446f974d1b /docs/user/manual.adoc | |
| parent | bb07e6bdee234d4408c3733307d6134597b531ec (diff) | |
| parent | eb7bb2cba0b846b32aaf33bc187465f349706431 (diff) | |
Merge #5822
5822: Remove dead code
r=matklad a=matklad
bors r+
🤖
Co-authored-by: Aleksey Kladov <[email protected]>
Diffstat (limited to 'docs/user/manual.adoc')
0 files changed, 0 insertions, 0 deletions