[CRISv10] Correct whitespace damage.
The previous patch was whitespace damaged, correct to indent using tabs. Signed-off-by: Jesper Nilsson <jesper.nilsson@axis.com>
This commit is contained in:
parent
3aa30df3d0
commit
bd451d5ed2