fix the indent format in kernel/timer.c
tree6a87fc834a2022a75f874c2136cbe2b4d8a21b7f
-rw-r--r-- 26 .gitignore
-rw-r--r-- 1090 Makefile
-rw-r--r-- 928 README
-rwxr-xr-x 1774 bochsrc
drwxr-xr-x - boot
drwxr-xr-x - doc
drwxr-xr-x - fs
drwxr-xr-x - image
drwxr-xr-x - include
drwxr-xr-x - init
drwxr-xr-x - kernel
drwxr-xr-x - mm
drwxr-xr-x - test