diff options
| author | bors[bot] <bors[bot]@users.noreply.github.com> | 2019-02-11 20:41:49 +0000 |
|---|---|---|
| committer | bors[bot] <bors[bot]@users.noreply.github.com> | 2019-02-11 20:41:49 +0000 |
| commit | 672886a67a80136f5620115772ceec1a628d8ee6 (patch) | |
| tree | 98361d6d3dfced4b068771c31163b324573294b7 /book/en/src/internals | |
| parent | 1d52964df7abf9fba09933470d5c3dcce96760c4 (diff) | |
| parent | 0007a35a274ab2d07eb937e41971ea5e2c1cb5ff (diff) | |
Merge #139
139: russian translation r=japaric a=japaric
Co-authored-by: Jorge Aparicio <jorge@japaric.io>
Co-authored-by: Andrey Zgarbul <zgarbul.andrey@gmail.com>
Diffstat (limited to 'book/en/src/internals')
| -rw-r--r-- | book/en/src/internals/ceilings.md | 3 | ||||
| -rw-r--r-- | book/en/src/internals/tasks.md | 3 | ||||
| -rw-r--r-- | book/en/src/internals/timer-queue.md | 3 |
3 files changed, 9 insertions, 0 deletions
diff --git a/book/en/src/internals/ceilings.md b/book/en/src/internals/ceilings.md new file mode 100644 index 0000000..2c645a4 --- /dev/null +++ b/book/en/src/internals/ceilings.md @@ -0,0 +1,3 @@ +# Ceiling analysis + +**TODO** diff --git a/book/en/src/internals/tasks.md b/book/en/src/internals/tasks.md new file mode 100644 index 0000000..85f783f --- /dev/null +++ b/book/en/src/internals/tasks.md @@ -0,0 +1,3 @@ +# Task dispatcher + +**TODO** diff --git a/book/en/src/internals/timer-queue.md b/book/en/src/internals/timer-queue.md new file mode 100644 index 0000000..7059285 --- /dev/null +++ b/book/en/src/internals/timer-queue.md @@ -0,0 +1,3 @@ +# Timer queue + +**TODO** |