diff options
| author | Marcus Stollsteimer <[email protected]> | 2020-12-27 22:39:42 +0100 |
|---|---|---|
| committer | Marcus Stollsteimer <[email protected]> | 2020-12-27 22:39:42 +0100 |
| commit | 228ad7d84b0f097a1465541fd175887c5ec0db40 (patch) | |
| tree | 9bc57f42b0f09002bdc8ad7d90f11bf59b3070c3 /doc | |
| parent | cf1f9bdc8df2f4961e84b96b0534c12f02f2a507 (diff) | |
doc/ractor.md: Fix indentation
Reintroduce removed empty line to fix indentation on rendered page
(the first line is _not_ indented despite the leading spaces,
and ends up "outdented" compared to the rest of the block).
Also add a missing "-".
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/ractor.md | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/doc/ractor.md b/doc/ractor.md index add18d9aae..235d58463b 100644 --- a/doc/ractor.md +++ b/doc/ractor.md @@ -259,9 +259,10 @@ r.take # Receive from r's outgoing port The last example shows the following ractor network. ``` + +------+ +---+ * main |------> * r *---+ - +-----+ +---+ | + +------+ +---+ | ^ | +-------------------+ ``` |