aboutsummaryrefslogtreecommitdiff
path: root/docs/dev
diff options
context:
space:
mode:
authorMatthias Krüger <[email protected]>2021-03-17 01:34:46 +0000
committerMatthias Krüger <[email protected]>2021-03-17 01:36:29 +0000
commitff5f90d8ae2da8e4856d5c78f55e5cd02b178325 (patch)
tree68a4b706477487e466d9d33e577f7cb6dbf2bf50 /docs/dev
parent64b91393b85eb2b5d41ccbd3048dcc61eb8061c7 (diff)
use simpler .map(|x| y) instead of .and_then(|x| Some(y)) for Options. (clippy::bind_instead_of_map)
Diffstat (limited to 'docs/dev')
0 files changed, 0 insertions, 0 deletions