region: add tagged regions
This commit is contained in:
parent
0872a1251d
commit
6243278f5f
6 changed files with 1087 additions and 99 deletions
|
|
@ -1,6 +1,7 @@
|
|||
#![allow(
|
||||
clippy::mem_replace_with_default,
|
||||
clippy::comparison_chain,
|
||||
clippy::collapsible_else_if,
|
||||
clippy::needless_lifetimes
|
||||
)]
|
||||
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue