Fix comma mistakenly removed in last commit.
[helenos.git] / tools / 
tree68eac2804634a79c280d36f75acee2c92eeac12f
drwxr-xr-x   ..
-rwxr-xr-x 843 build
-rwxr-xr-x 16323 config.py