Make tools/*.py scripts Git aware
[helenos.git] / kernel / 
tree58a05ddbc2c3ef0f01464bac8eaeabbb5c923f7b
drwxr-xr-x   ..
-rw-r--r-- 14052 Makefile
drwxr-xr-x - arch
drwxr-xr-x - doc
drwxr-xr-x - genarch
drwxr-xr-x - generic
drwxr-xr-x - test
drwxr-xr-x - tools