diff options
author | 2017-11-22 09:27:14 +0100 | |
---|---|---|
committer | 2017-11-22 09:29:01 +0100 | |
commit | 948e1fd0fbd96f574c31909843b2ed3debabf6fc (patch) | |
tree | be8bb18bee86e726a52e19a4083fa0ae9386cdfb /src/examples/mod.rs | |
parent | c184f91e3c3993dacbd8425019cde6a3607478bc (diff) | |
download | rtic-948e1fd0fbd96f574c31909843b2ed3debabf6fc.tar.gz rtic-948e1fd0fbd96f574c31909843b2ed3debabf6fc.tar.zst rtic-948e1fd0fbd96f574c31909843b2ed3debabf6fc.zip |
v0.2.2v0.2.2
Diffstat (limited to '')
-rw-r--r-- | src/examples/mod.rs | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/src/examples/mod.rs b/src/examples/mod.rs index e0be5a6f..53e74ed1 100644 --- a/src/examples/mod.rs +++ b/src/examples/mod.rs @@ -5,5 +5,6 @@ pub mod _1_one_task; pub mod _2_two_tasks; pub mod _3_preemption; pub mod _4_nested; -pub mod _5_generics; -pub mod _6_full_syntax; +pub mod _5_late_resources; +pub mod _6_generics; +pub mod _7_full_syntax; |