diff options
author | 2020-06-11 19:00:52 +0200 | |
---|---|---|
committer | 2020-06-11 19:00:52 +0200 | |
commit | eb6406da7e33e62c8c126b044d80fb70afb8c675 (patch) | |
tree | 2cb584575428edcf237903cdbb703e863b02519e /src/lib.rs | |
parent | 1be9d0067bec44356ab96f0cd6d8252b8145f4ad (diff) | |
download | rtic-eb6406da7e33e62c8c126b044d80fb70afb8c675.tar.gz rtic-eb6406da7e33e62c8c126b044d80fb70afb8c675.tar.zst rtic-eb6406da7e33e62c8c126b044d80fb70afb8c675.zip |
Fmt
Diffstat (limited to 'src/lib.rs')
-rw-r--r-- | src/lib.rs | 1 |
1 files changed, 0 insertions, 1 deletions
@@ -164,7 +164,6 @@ pub trait Monotonic { /// A marker trait that indicates that it is correct to use this type in multi-core context pub trait MultiCore {} - /// Sets the given `interrupt` as pending /// /// This is a convenience function around |