Minor changes. Some coding style fixes and also a type (tee vs. tree).
tree1d2d5d3de91eadcb637a9a3f6210db5b6791dc86
-rw-r--r-- 612 HelenOS.config
-rw-r--r-- 3584 Makefile
drwxr-xr-x - boot
drwxr-xr-x - contrib
drwxr-xr-x - kernel
drwxr-xr-x - tools
drwxr-xr-x - uspace
-rw-r--r-- 216 version