diff options
author | Matthias Vogelgesang <matthias.vogelgesang@kit.edu> | 2017-12-05 10:34:47 +0100 |
---|---|---|
committer | Matthias Vogelgesang <matthias.vogelgesang@kit.edu> | 2017-12-05 10:34:47 +0100 |
commit | 2597f7864eeaf379097d5014cb548d4461a62910 (patch) | |
tree | 86d0a7e5e6067279cf849a3b5b9c735e2ecd6584 /docs/manual | |
parent | e2d0f796fc39e584f64dbcd60d16c0ed4218c22e (diff) |
manual: fix wrong highlighter
Diffstat (limited to 'docs/manual')
-rw-r--r-- | docs/manual/using/execution.rst | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/manual/using/execution.rst b/docs/manual/using/execution.rst index 47d200f..ebac4f5 100644 --- a/docs/manual/using/execution.rst +++ b/docs/manual/using/execution.rst @@ -38,7 +38,7 @@ going to chrome://tracing and loading the JSON files. Broadcasting results ==================== -.. highlight:: c +.. highlight:: python Connecting a task output to multiple consumers will in most cases cause undefined results because some data is processed differently than others. A |