tree 5fc77fb06aed39319ec42b53c50fad46c3b76824
parent 3aa30df3d0d78f568cff9d6a98ae01ae55494f10
author Jesper Nilsson <jesper@jni.nu> 1214860971 +0200
committer Jesper Nilsson <jesper@jni.nu> 1214860971 +0200

[CRISv10] Correct whitespace damage.

The previous patch was whitespace damaged, correct to indent
using tabs.

Signed-off-by: Jesper Nilsson <jesper.nilsson@axis.com>