[CRISv10] Correct whitespace damage.
authorJesper Nilsson <jesper@jni.nu>
Mon, 30 Jun 2008 21:22:51 +0000 (23:22 +0200)
committerJesper Nilsson <jesper@jni.nu>
Mon, 30 Jun 2008 21:22:51 +0000 (23:22 +0200)
The previous patch was whitespace damaged, correct to indent
using tabs.

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

No differences found