diff options
| author | James Munns <[email protected]> | 2025-11-13 18:11:22 +0100 |
|---|---|---|
| committer | James Munns <[email protected]> | 2025-11-13 18:11:22 +0100 |
| commit | 0f8e7650b937aa5d4accef3fdf01047afe099df3 (patch) | |
| tree | f14a38f1ce61d8749224304c6c84bf3673cb3b01 /src/lib.rs | |
| parent | dd7a90eb51197fae6ef6c6b7beae977a9143e268 (diff) | |
| parent | 7480db25d5cc1866a3e037bfb89f990d9847bd10 (diff) | |
Merge remote-tracking branch 'origin/main' into james/impl-clocks
Diffstat (limited to 'src/lib.rs')
| -rw-r--r-- | src/lib.rs | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/lib.rs b/src/lib.rs index fe27aadba..9899564d8 100644 --- a/src/lib.rs +++ b/src/lib.rs | |||
| @@ -1,4 +1,7 @@ | |||
| 1 | #![no_std] | 1 | #![no_std] |
| 2 | // TODO(AJM): As of 2025-11-13, we need to do a pass to ensure safety docs | ||
| 3 | // are complete prior to release. | ||
| 4 | #![allow(clippy::missing_safety_doc)] | ||
| 2 | 5 | ||
| 3 | pub mod clocks; // still provide clock helpers | 6 | pub mod clocks; // still provide clock helpers |
| 4 | pub mod gpio; | 7 | pub mod gpio; |