Minor changes. Some coding style fixes and also a type (tee vs. tree).
[helenos.git] / tools / 
tree68eac2804634a79c280d36f75acee2c92eeac12f
drwxr-xr-x   ..
-rwxr-xr-x 843 build
-rwxr-xr-x 16323 config.py