diff options
author | Paul Menzel <pmenzel@molgen.mpg.de> | 2020-02-05 16:36:49 +0100 |
---|---|---|
committer | Patrick Georgi <pgeorgi@google.com> | 2020-02-09 19:23:49 +0000 |
commit | cedd4525f27694d55014c7d8df540fe409e9677f (patch) | |
tree | ec80448492f7bfd6538c9587f432ae30b9bde824 /src/lib/hw-time-timer.adb | |
parent | f9bb6756907c52564eabe8867ee4fdd1cf50c6ed (diff) |
Documentation: Indent code blocks instead of using ```
Both versions are correct, but especially for one liners indenting them
with four spaces instead of using ``` blocks helps readability of the
source file.
Change-Id: Ie2543c8c4cccefd74e966f784e651ed7dc3a9252
Signed-off-by: Paul Menzel <pmenzel@molgen.mpg.de>
Reviewed-on: https://review.coreboot.org/c/coreboot/+/38720
Reviewed-by: Peter Lemenkov <lemenkov@gmail.com>
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Diffstat (limited to 'src/lib/hw-time-timer.adb')
0 files changed, 0 insertions, 0 deletions