Fix spacing in header.
[bertos.git] / os /
drwxr-xr-x   ..
-rwxr-xr-x 1358 hptime.c
-rwxr-xr-x 1619 hptime.h