diff options
| author | datdenkikniet <jcdra1@gmail.com> | 2023-04-23 15:33:56 +0200 |
|---|---|---|
| committer | datdenkikniet <jcdra1@gmail.com> | 2023-05-11 19:20:58 +0200 |
| commit | a66540efa014b3716d252612bfc7f8f17ed765c4 (patch) | |
| tree | 5efe4cf769b9941c5ce387649ee8ed15470ca507 /book/en/src/by-example/app_priorities.md | |
| parent | 0807aa548c865d12746ce17aa1c17f7968b139a9 (diff) | |
Disable the playground on all of these
Diffstat (limited to 'book/en/src/by-example/app_priorities.md')
| -rw-r--r-- | book/en/src/by-example/app_priorities.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/book/en/src/by-example/app_priorities.md b/book/en/src/by-example/app_priorities.md index 9d27658..86ff985 100644 --- a/book/en/src/by-example/app_priorities.md +++ b/book/en/src/by-example/app_priorities.md @@ -33,7 +33,7 @@ Task Priority The following example showcases the priority based scheduling of tasks: -``` rust +``` rust,noplayground {{#include ../../../../rtic/examples/preempt.rs}} ``` |