diff options
| author | kjeremy <[email protected]> | 2020-01-13 15:51:39 +0000 |
|---|---|---|
| committer | kjeremy <[email protected]> | 2020-01-13 15:51:39 +0000 |
| commit | 0610444407585ce4df9910b80f610619b5d9c10f (patch) | |
| tree | be6684ff83d9a54af349eadeaba3d6dd33f48147 /docs/user | |
| parent | a30129be5ae8fd3dc698cc035339ed651b30de02 (diff) | |
Dropping a reference does nothing.
Allows clippy to continue compilation
Diffstat (limited to 'docs/user')
0 files changed, 0 insertions, 0 deletions