diff options
author | 2020-06-11 19:07:46 +0200 | |
---|---|---|
committer | 2020-06-11 19:07:46 +0200 | |
commit | 4a0393f756cc3ccd480f839eb6b6a9349326fe8e (patch) | |
tree | 2cb584575428edcf237903cdbb703e863b02519e /src/lib.rs | |
parent | 81da47c2f7bf79e62e57a5c9e08dc2d1ebf92f3a (diff) | |
parent | eb6406da7e33e62c8c126b044d80fb70afb8c675 (diff) | |
download | rtic-0.5.2.tar.gz rtic-0.5.2.tar.zst rtic-0.5.2.zip |
Merge pull request #324 from rtfm-rs/v0.5.2_releasev0.5.2
Prepare for v0.5.2 release
Diffstat (limited to '')
-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 |