diff options
| author | Marek Barvíř <barvirm@gmail.com> | 2023-04-16 11:10:35 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-04-16 11:10:35 +0200 |
| commit | ee32e7ad1ce26d4eebe601344e0343cfb9c8f9bd (patch) | |
| tree | e704cd3c622acbf9faca558dd808f284a7df78f3 /library/src/lib.rs | |
| parent | 261b96da68890dd1054efb76a72ee997cb779bae (diff) | |
Clippy fixes (#581)
Diffstat (limited to 'library/src/lib.rs')
| -rw-r--r-- | library/src/lib.rs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/library/src/lib.rs b/library/src/lib.rs index 9b4e9644..caf76ded 100644 --- a/library/src/lib.rs +++ b/library/src/lib.rs @@ -1,3 +1,4 @@ +#![allow(clippy::wildcard_in_or_patterns)] //! Typst's standard library. pub mod compute; |
