diff options
author | 2020-05-26 22:16:31 +0200 | |
---|---|---|
committer | 2020-05-26 22:16:31 +0200 | |
commit | 303e964a1065fc8a1ef5e76ae8bffb27bcf0ef5e (patch) | |
tree | d6c8af1fb246e9daa094f85ea82623c838f7f84b | |
parent | 709e893d0055381a751b1ac34a43282f19912711 (diff) | |
download | rtic-303e964a1065fc8a1ef5e76ae8bffb27bcf0ef5e.tar.gz rtic-303e964a1065fc8a1ef5e76ae8bffb27bcf0ef5e.tar.zst rtic-303e964a1065fc8a1ef5e76ae8bffb27bcf0ef5e.zip |
touch src/lib.rs
-rw-r--r-- | src/lib.rs | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -164,6 +164,7 @@ 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 |