directory /make/devkit/ @ 29147:4cba0458106b

name size permissions
[up] drwxr-xr-x
file Makefile 4093 -rw-r--r--
file Tools.gmk 15147 -rw-r--r--