diff options
| author | Laurențiu Nicola <[email protected]> | 2021-06-18 12:40:51 +0100 |
|---|---|---|
| committer | Laurențiu Nicola <[email protected]> | 2021-06-18 12:40:51 +0100 |
| commit | e3ce88f6f25901b1d33fbc5f931a9d8f90b9e2b8 (patch) | |
| tree | c6876d5f81bafe5d405f7ab72ff61e4a748a3bc5 /docs/user/manual.adoc | |
| parent | 0d863ccea96c6c3256fad12807a0eedbfccd8294 (diff) | |
Minor clippy perf fixes
Diffstat (limited to 'docs/user/manual.adoc')
0 files changed, 0 insertions, 0 deletions