Kernel_23: fix typesetting in the manual.

Leading whitespace has semantics, so we remove it
This commit is contained in:
Andreas Fabri 2017-03-22 17:13:28 +01:00 committed by GitHub
parent 5b6cf1cfae
commit 1a3a6e93ee
1 changed files with 3 additions and 3 deletions