diff options
author | Marc Bonnici <marc.bonnici@arm.com> | 2018-12-07 17:06:41 +0000 |
---|---|---|
committer | setrofim <setrofim@gmail.com> | 2018-12-14 07:44:44 +0000 |
commit | 06961d6adb656e8bcb986ee7076397bdfaa4c30c (patch) | |
tree | e9b5943f8aaad89d98789c528441ab6052f1483f | |
parent | 7d8cd85951bc9ed6d62c9f318d422db6f6a9928b (diff) |
docs/how_tos: Fix incorrect spacing
-rw-r--r-- | doc/source/user_information/how_tos/agenda.rst | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/doc/source/user_information/how_tos/agenda.rst b/doc/source/user_information/how_tos/agenda.rst index a386f15a..5bbec04d 100644 --- a/doc/source/user_information/how_tos/agenda.rst +++ b/doc/source/user_information/how_tos/agenda.rst @@ -514,16 +514,16 @@ online, we can create an agenda as follows: - id: max_freq runtime_parameters: freq: max - group: frequency + group: frequency - id: min_cpus runtime_parameters: cpus: 1 - group: cpus + group: cpus - id: max_cpus runtime_parameters: cpus: 8 - group: cpus + group: cpus workloads: - dhrystone |